1.1 --- a/Admin/MacOS/App1/script	Mon Aug 06 15:12:18 2012 +0200
     1.2 +++ b/Admin/MacOS/App1/script	Mon Aug 06 15:02:59 2012 +0100
     1.3 @@ -48,9 +48,9 @@
     1.4  # Proof General / Emacs
     1.5  
     1.6  PROOFGENERAL_EMACS="$(choosefrom \
     1.7 -  "$THIS/Emacs.app/Contents/MacOS/Emacs" \
     1.8 -  "$SUPER_APP/Emacs.app/Contents/MacOS/Emacs" \
     1.9 -  /Applications/Emacs.app/Contents/MacOS/Emacs \
    1.10 +  "$THIS/Aquamacs.app/Contents/MacOS/Aquamacs" \
    1.11 +  "$SUPER_APP/Aquamacs.app/Contents/MacOS/Aquamacs" \
    1.12 +  /Applications/Aquamacs.app/Contents/MacOS/Aquamacs \
    1.13    "")"
    1.14  
    1.15  declare -a EMACS_OPTIONS=()