| changeset 65531 | 24544e3f183d |
| parent 64902 | 312aa8b92ea2 |
| child 66906 | 03a96b8c7c06 |
--- a/etc/settings Fri Apr 21 11:38:45 2017 +0200 +++ b/etc/settings Fri Apr 21 13:51:43 2017 +0200 @@ -12,7 +12,7 @@ ### Isabelle/Scala ### -ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.8 -Xmax-classfile-name 130" +ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.8 -Xmax-classfile-name 130 -J-Xms128m -J-Xmx1024m -J-Xss2m" ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"