| changeset 56665 | 27778363775d |
| parent 56660 | 5d629da46f04 |
| child 57439 | 0e41f26a0250 |
--- a/etc/settings Wed Apr 23 10:38:56 2014 +0200 +++ b/etc/settings Wed Apr 23 10:49:30 2014 +0200 @@ -12,7 +12,7 @@ ### Isabelle/Scala ### -ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130" +ISABELLE_SCALA_BUILD_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.7 -Xmax-classfile-name 130" ISABELLE_JAVA_SYSTEM_OPTIONS="-Dfile.encoding=UTF-8 -server"