changeset 56247 | 1ad01f98dc3e |
parent 54313 | da2e6282a4f5 |
child 58792 | d6d9bb806bb5 |
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 |