Admin/MacOS/script

   "$SUPER_APP/Emacs.app/Contents/MacOS/Emacs" \
   /Applications/Emacs.app/Contents/MacOS/Emacs \
   "")"
 
 if [ -n "$PROOFGENERAL_EMACS" ]; then
-  PROOFGENERAL_OPTIONS="-p $PROOFGENERAL_EMACS $PROOFGENERAL_OPTIONS"
+  EMACS_OPTIONS="-p $PROOFGENERAL_EMACS"
 fi
 
 
 # run interface with error feedback
 
 OUTPUT="/tmp/isabelle$$.out"
 
-( "$ISABELLE_TOOL" emacs "$@" ) > "$OUTPUT" 2>&1
+( "$ISABELLE_TOOL" emacs $EMACS_OPTIONS "$@" ) > "$OUTPUT" 2>&1
 RC=$?
 
 if [ "$RC" != 0 ]; then
   echo >> "$OUTPUT"
   echo "Return code: $RC" >> "$OUTPUT"