equal
deleted
inserted
replaced
28 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc. |
28 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc. |
29 unset XMODIFIERS |
29 unset XMODIFIERS |
30 |
30 |
31 exec "$ISABELLE_HOME/contrib/jdk/x86_64-linux/jre/bin/java" \ |
31 exec "$ISABELLE_HOME/contrib/jdk/x86_64-linux/jre/bin/java" \ |
32 "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \ |
32 "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \ |
33 "-Djava.ext.dirs=$ISABELLE_HOME/contrib/jdk/x86_64-linux/jre/lib/ext" \ |
|
34 -classpath "{CLASSPATH}" \ |
33 -classpath "{CLASSPATH}" \ |
35 "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \ |
34 "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \ |
36 isabelle.Main "$@" |
35 isabelle.Main "$@" |