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