Isabelle
changeset 31920 105bd1abff50
parent 31919 e587a888bab5
child 31922 d6f8f3bfe329
     1.1 --- a/Isabelle	Fri Jul 03 00:02:07 2009 +0200
     1.2 +++ b/Isabelle	Fri Jul 03 00:06:40 2009 +0200
     1.3 @@ -21,5 +21,5 @@
     1.4  CLASSPATH="$(jvmpath "$CLASSPATH")"
     1.5  
     1.6  exec "$ISABELLE_JAVA" \
     1.7 -  "-Disabelle.home=$ISABELLE_HOME" \
     1.8 +  "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
     1.9    -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"