actually invoke ISABELLE_TOOL;
authorwenzelm
Tue Apr 14 17:47:24 2009 +0200 (2009-04-14)
changeset 3089128c7f7ba9f13
parent 30889 d7cfcb9b5c7c
child 30892 b2dee0d2b618
actually invoke ISABELLE_TOOL;
Admin/MacOS/script
     1.1 --- a/Admin/MacOS/script	Tue Apr 14 14:37:44 2009 +0200
     1.2 +++ b/Admin/MacOS/script	Tue Apr 14 17:47:24 2009 +0200
     1.3 @@ -57,7 +57,7 @@
     1.4  
     1.5  OUTPUT="/tmp/isabelle$$.out"
     1.6  
     1.7 -( "$HOME/bin/isabelle" emacs "$@" ) > "$OUTPUT" 2>&1
     1.8 +( "$ISABELLE_TOOL" emacs "$@" ) > "$OUTPUT" 2>&1
     1.9  RC=$?
    1.10  
    1.11  if [ "$RC" != 0 ]; then