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.
actually invoke ISABELLE_TOOL;
authorwenzelm
Tue, 14 Apr 2009 17:47:24 +0200
changeset 30891 28c7f7ba9f13
parent 30889 d7cfcb9b5c7c
child 30892 b2dee0d2b618
actually invoke ISABELLE_TOOL;
Admin/MacOS/script file | annotate | diff | comparison | revisions 
--- a/Admin/MacOS/script	Tue Apr 14 14:37:44 2009 +0200
+++ b/Admin/MacOS/script	Tue Apr 14 17:47:24 2009 +0200
@@ -57,7 +57,7 @@
 
 OUTPUT="/tmp/isabelle$$.out"
 
-( "$HOME/bin/isabelle" emacs "$@" ) > "$OUTPUT" 2>&1
+( "$ISABELLE_TOOL" emacs "$@" ) > "$OUTPUT" 2>&1
 RC=$?
 
 if [ "$RC" != 0 ]; then
isabelle