| changeset 64902 | 312aa8b92ea2 |
| parent 64900 | 3687036107cd |
| child 65531 | 24544e3f183d |
--- a/etc/settings Sun Jan 15 16:30:49 2017 +0100 +++ b/etc/settings Sun Jan 15 16:42:37 2017 +0100 @@ -12,7 +12,7 @@ ### Isabelle/Scala ### -ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.7 -Xmax-classfile-name 130" +ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.8 -Xmax-classfile-name 130" ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"