| changeset 64900 | 3687036107cd |
| parent 63871 | f745c6e683b7 |
| child 64902 | 312aa8b92ea2 |
--- a/etc/settings Sun Jan 15 15:50:04 2017 +0100 +++ b/etc/settings Sun Jan 15 15:51:33 2017 +0100 @@ -12,7 +12,7 @@ ### Isabelle/Scala ### -ISABELLE_SCALA_BUILD_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.7 -Xmax-classfile-name 130" +ISABELLE_SCALAC_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"