equal
deleted
inserted
replaced
22 ## main |
22 ## main |
23 |
23 |
24 [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars |
24 [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars |
25 |
25 |
26 CLASSPATH="$(jvmpath "$CLASSPATH")" |
26 CLASSPATH="$(jvmpath "$CLASSPATH")" |
27 exec "$ISABELLE_JAVA" \ |
27 exec "$ISABELLE_TOOL" java \ |
28 "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \ |
28 "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \ |
29 -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@" |
29 -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@" |