changeset 53346 | 26c795734b3c |
parent 52790 | 6150cf05f729 |
child 53576 | 793a429c63e7 |
--- a/etc/settings Sat Aug 31 13:20:18 2013 +0200 +++ b/etc/settings Sat Aug 31 13:34:39 2013 +0200 @@ -13,6 +13,8 @@ ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130" +ISABELLE_JAVA_SYSTEM_OPTIONS="-Dfile.encoding=UTF-8 -server" + ### ### Interactive sessions (cf. isabelle tty)