author | wenzelm |
Wed, 26 Aug 2015 14:59:26 +0200 | |
changeset 61027 | 06ceb6dcdccd |
parent 61026 | 397354b29935 |
child 61028 | 99d58362eeeb |
child 61034 | 0776a4adc3d5 |
etc/settings | file | annotate | diff | comparison | revisions |
--- a/etc/settings Wed Aug 26 14:13:31 2015 +0200 +++ b/etc/settings Wed Aug 26 14:59:26 2015 +0200 @@ -14,7 +14,7 @@ ISABELLE_SCALA_BUILD_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.7 -Xmax-classfile-name 130" -ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0" +ISABELLE_JAVA_SYSTEM_OPTIONS="-server -XX:+UseG1GC -XX:+UseStringDeduplication -Dfile.encoding=UTF-8 -Disabelle.threads=0" classpath "$ISABELLE_HOME/lib/classes/Pure.jar"