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