merged
authorwenzelm
Thu May 10 22:51:44 2012 +0200 (2012-05-10)
changeset 47879de5602637ab4
parent 47877 8a581a61815f
parent 47878 45bfbd7d6e58
child 47880 7e202f71a249
merged
     1.1 --- a/src/Tools/JVM/java_ext_dirs	Thu May 10 21:35:04 2012 +0200
     1.2 +++ b/src/Tools/JVM/java_ext_dirs	Thu May 10 22:51:44 2012 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4  
     1.5  ## main
     1.6  
     1.7 -isabelle_jdk java \
     1.8 +isabelle_jdk java -Dfile.encoding=UTF-8 \
     1.9    -classpath "$(jvmpath "$ISABELLE_HOME/src/Tools/JVM/java_ext_dirs.jar")" \
    1.10    isabelle.Java_Ext_Dirs "$(jvmpath "$ISABELLE_HOME/lib/classes/ext")" 2>/dev/null
    1.11