etc/settings
changeset 53346 26c795734b3c
parent 52790 6150cf05f729
child 53576 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)