Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/java
changeset 36238 344377ce2e0a
parent 36212 ebfa4bb0d50f
child 41380 92237dee0f29 
--- a/lib/Tools/java	Tue Apr 20 16:14:45 2010 +0200
+++ b/lib/Tools/java	Tue Apr 20 17:07:53 2010 +0200
@@ -5,4 +5,4 @@
 # DESCRIPTION: invoke Java within the Isabelle environment
 
 CLASSPATH="$(jvmpath "$CLASSPATH")"
-exec "${THIS_JAVA:-ISABELLE_JAVA}" "$@"
+exec "${THIS_JAVA:-$ISABELLE_JAVA}" "$@"
isabelle