etc/settings
changeset 62233 dbc39c04a34a
parent 62043 f57dbc3d2a26
child 62354 fdd6989cc8a0
     1.1 --- a/etc/settings	Sat Jan 23 11:52:48 2016 +0100
     1.2 +++ b/etc/settings	Sat Jan 23 23:50:54 2016 +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="-server -XX:+UseConcMarkSweepGC -XX:+CMSParallelRemarkEnabled -Dfile.encoding=UTF-8 -Disabelle.threads=0"
     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