| changeset 59136 | c2b23cb8a677 |
| parent 58639 | 1df53737c59b |
| child 59565 | 96e860a17b9a |
--- a/etc/settings Thu Dec 11 15:24:28 2014 +0100 +++ b/etc/settings Thu Dec 11 23:31:30 2014 +0100 @@ -14,7 +14,7 @@ ISABELLE_SCALA_BUILD_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.7 -Xmax-classfile-name 130" -ISABELLE_JAVA_SYSTEM_OPTIONS="-Dfile.encoding=UTF-8 -server" +ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0" classpath "$ISABELLE_HOME/lib/classes/Pure.jar"