1.1 --- a/Isabelle	Thu Jun 23 14:52:32 2011 +0200
     1.2 +++ b/Isabelle	Thu Jun 23 16:10:22 2011 +0200
     1.3 @@ -26,4 +26,4 @@
     1.4  CLASSPATH="$(jvmpath "$CLASSPATH")"
     1.5  exec "$ISABELLE_TOOL" java \
     1.6    "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
     1.7 -  -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"
     1.8 +  isabelle.GUI_Setup "$@"