changeset 54483 | 26c795734b3c |
parent 53927 | 6150cf05f729 |
child 54713 | 793a429c63e7 |
1.1 --- a/etc/settings Sat Aug 31 13:20:18 2013 +0200 1.2 +++ b/etc/settings Sat Aug 31 13:34:39 2013 +0200 1.3 @@ -13,6 +13,8 @@ 1.4 1.5 ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130" 1.6 1.7 +ISABELLE_JAVA_SYSTEM_OPTIONS="-Dfile.encoding=UTF-8 -server" 1.8 + 1.9 1.10 ### 1.11 ### Interactive sessions (cf. isabelle tty)