Isabelle
changeset 43540 71aba8ee3b8f
parent 43521 d477b92109b8
child 44861 329ced2615eb
     1.1 --- a/Isabelle	Sat Jun 25 11:51:50 2011 +0200
     1.2 +++ b/Isabelle	Sat Jun 25 12:54:32 2011 +0200
     1.3 @@ -23,7 +23,6 @@
     1.4  
     1.5  [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
     1.6  
     1.7 -CLASSPATH="$(jvmpath "$CLASSPATH")"
     1.8  exec "$ISABELLE_TOOL" java \
     1.9    "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
    1.10    isabelle.GUI_Setup "$@"