Isabelle

--- 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 "$@"