changeset 43521 | d477b92109b8 |
parent 40571 | fbac01813bff |
child 43540 | 71aba8ee3b8f |
--- a/Isabelle Thu Jun 23 14:52:32 2011 +0200 +++ b/Isabelle Thu Jun 23 16:10:22 2011 +0200 @@ -26,4 +26,4 @@ CLASSPATH="$(jvmpath "$CLASSPATH")" exec "$ISABELLE_TOOL" java \ "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \ - -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@" + isabelle.GUI_Setup "$@"