Dear all, I'm trying to get the Repository Version of Isabelle to run on Windows7 (64 Bit). When executing
> ./bin/isabelle jedit in cygwin, I get the following error: > ### Building Isabelle/Scala layer ... > System\main.scala:28: error: object exit is not a member of package System > System.exit(rc) > ^ > one error found > Failed to compile sources I've installed SUN JDK 1.6u32 (64 Bit) and Scala 2.9.2 final, the ISABELLE_JDK_HOME and SCALA_HOME environment variables are set accordingly. My .isabelle/etc/settings file looks like this: > init_component "/cygdrive/c/Isabelle2012/contrib/scala-2.9.2" > init_component "..../isabelle/jedit_build-20120414" Any ideas on how to fix this? Best Regads Steffen
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
