Admin/Linux/Isabelle.run
changeset 62036 773cb226738c
parent 61298 49b964a6fe11
child 63574 4ea48cbc54c1
equal deleted inserted replaced
62035:b3cda398a5b1 62036:773cb226738c
    38 else
    38 else
    39   exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/jre/bin/java" \
    39   exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/jre/bin/java" \
    40     "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
    40     "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
    41     -classpath "{CLASSPATH}" \
    41     -classpath "{CLASSPATH}" \
    42     "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
    42     "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
    43     isabelle.Main -server="$("$ISABELLE_HOME/bin/isabelle" jedit_client -n)" "$@"
    43     isabelle.Main "$@"
    44 fi
    44 fi