1.1 --- a/Admin/MacOS/script Tue Apr 14 17:47:31 2009 +0200
1.2 +++ b/Admin/MacOS/script Tue Apr 14 18:18:15 2009 +0200
1.3 @@ -49,7 +49,7 @@
1.4 "")"
1.5
1.6 if [ -n "$PROOFGENERAL_EMACS" ]; then
1.7 - PROOFGENERAL_OPTIONS="-p $PROOFGENERAL_EMACS $PROOFGENERAL_OPTIONS"
1.8 + EMACS_OPTIONS="-p $PROOFGENERAL_EMACS"
1.9 fi
1.10
1.11
1.12 @@ -57,7 +57,7 @@
1.13
1.14 OUTPUT="/tmp/isabelle$$.out"
1.15
1.16 -( "$ISABELLE_TOOL" emacs "$@" ) > "$OUTPUT" 2>&1
1.17 +( "$ISABELLE_TOOL" emacs $EMACS_OPTIONS "$@" ) > "$OUTPUT" 2>&1
1.18 RC=$?
1.19
1.20 if [ "$RC" != 0 ]; then