CLASSPATH already converted in isabelle java wrapper;
authorwenzelm
Sat Jun 25 12:54:32 2011 +0200 (2011-06-25)
changeset 4354071aba8ee3b8f
parent 43539 c49d8f40ba51
child 43541 a1ed0456b7e6
CLASSPATH already converted in isabelle java wrapper;
Isabelle
     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 "$@"