Admin/Linux/Isabelle.run
changeset 56247 1ad01f98dc3e
parent 54313 da2e6282a4f5
child 58792 d6d9bb806bb5
equal deleted inserted replaced
56246:2b2bcf4ecb48 56247:1ad01f98dc3e
    24 
    24 
    25 exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/bin/java" \
    25 exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/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   isabelle.Main "$@"
    30   isabelle.Main "$@"
    30 
    31