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.
repaired legacy setting variable
authorhaftmann
Tue, 05 Jan 2010 11:38:51 +0100
changeset 34271 70af06abb13d
parent 34270 e45104d2d175
child 34272 95df5e6dd41c
repaired legacy setting variable
src/Tools/Code/lib/Tools/codegen file | annotate | diff | comparison | revisions 
--- a/src/Tools/Code/lib/Tools/codegen	Tue Jan 05 11:25:14 2010 +0100
+++ b/src/Tools/Code/lib/Tools/codegen	Tue Jan 05 11:38:51 2010 +0100
@@ -62,4 +62,4 @@
 
 FULL_CMD="Unsynchronized.$QND_CMD quick_and_dirty; val thyname = \"$THY\"; val cmd = \"$CODE_CMD\"; $CTXT_CMD"
 
-"$ISABELLE" -q -e "$FULL_CMD" "$IMAGE" || exit 1
+"$ISABELLE_PROCESS" -q -e "$FULL_CMD" "$IMAGE" || exit 1
isabelle