# HG changeset patch # User wenzelm # Date 1246572400 -7200 # Node ID 105bd1abff50ecbd79725c0361d7d502e5189be4 # Parent e587a888bab524b4ff4e2df14daf7b16fa0423c9 isabelle.home: native jvmpath; diff -r e587a888bab5 -r 105bd1abff50 Isabelle --- a/Isabelle Fri Jul 03 00:02:07 2009 +0200 +++ b/Isabelle Fri Jul 03 00:06:40 2009 +0200 @@ -21,5 +21,5 @@ CLASSPATH="$(jvmpath "$CLASSPATH")" exec "$ISABELLE_JAVA" \ - "-Disabelle.home=$ISABELLE_HOME" \ + "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \ -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"