--- 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