equal
deleted
inserted
replaced
20 # main |
20 # main |
21 |
21 |
22 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc. |
22 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc. |
23 unset XMODIFIERS |
23 unset XMODIFIERS |
24 |
24 |
25 exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/bin/java" \ |
25 exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/jre/bin/java" \ |
26 "-Disabelle.home=$ISABELLE_HOME" \ |
26 "-Disabelle.home=$ISABELLE_HOME" \ |
27 {JAVA_ARGS} \ |
27 {JAVA_ARGS} \ |
28 -classpath "{CLASSPATH}" \ |
28 -classpath "{CLASSPATH}" \ |
29 "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \ |
29 "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \ |
30 isabelle.Main "$@" |
30 isabelle.Main "$@" |