Admin/Linux/Isabelle.run
changeset 58792 d6d9bb806bb5
parent 56247 1ad01f98dc3e
child 61134 80ac5e17772d
equal deleted inserted replaced
58791:00916b0dd596 58792:d6d9bb806bb5
    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 "$@"