# HG changeset patch # User wenzelm # Date 1398242970 -7200 # Node ID 27778363775d413631c6bf970b36f528acaf57b6 # Parent 8ff8e5d0011517b3fb4bf5134b2fc9ef69bc62e2 tuned options for scalac; diff -r 8ff8e5d00115 -r 27778363775d etc/settings --- 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"