[isabelle-dev] Repository version of Isabelle on Windows 7

Makarius makarius at sketis.net
Tue Nov 10 00:11:28 CET 2015

On Mon, 9 Nov 2015, Anders Schlichtkrull wrote:

> ### Building Isabelle/Scala ...
> Concurrent\simple_thread.scala:45: error: object getProperty is not a member of package System
>      val m = Properties.Value.Int.unapply(System.getProperty("isabelle.threads", "0")) getOrElse 0

Odd.  I've seen something like this many years ago, with rather old 
versions of Scala, but it did not happen recently.

What is the result of "isabelle getenv SCALA_HOME"?

To make double sure: can you delete ISABELLE_HOME/lib/classes/Pure.jar and 
try again?  Or try "isabelle jedit -bf".

In principle, this should all work routinely.  I am building from 
repository myself with Windows 2008, Windows 7, Windows 8.1, Windows 10.


More information about the isabelle-dev mailing list