Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
recovered isabelle java, which was broken in ebfa4bb0d50f;
authorwenzelm
Tue, 20 Apr 2010 17:07:53 +0200
changeset 36238 344377ce2e0a
parent 36237 86e62a98deea
child 36239 1385c4172d47
recovered isabelle java, which was broken in ebfa4bb0d50f;
lib/Tools/java file | annotate | diff | comparison | revisions 
--- 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