equal
deleted
inserted
replaced
15 [ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment" |
15 [ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment" |
16 |
16 |
17 |
17 |
18 ## main |
18 ## main |
19 |
19 |
20 isabelle_jdk java \ |
20 isabelle_jdk java -Dfile.encoding=UTF-8 \ |
21 -classpath "$(jvmpath "$ISABELLE_HOME/src/Tools/JVM/java_ext_dirs.jar")" \ |
21 -classpath "$(jvmpath "$ISABELLE_HOME/src/Tools/JVM/java_ext_dirs.jar")" \ |
22 isabelle.Java_Ext_Dirs "$(jvmpath "$ISABELLE_HOME/lib/classes/ext")" 2>/dev/null |
22 isabelle.Java_Ext_Dirs "$(jvmpath "$ISABELLE_HOME/lib/classes/ext")" 2>/dev/null |
23 |
23 |