--- a/Admin/MacOS/App1/script Mon Aug 06 14:33:23 2012 +0200
+++ b/Admin/MacOS/App1/script Mon Aug 06 15:01:15 2012 +0100
@@ -48,9 +48,9 @@
# Proof General / Emacs
PROOFGENERAL_EMACS="$(choosefrom \
- "$THIS/Emacs.app/Contents/MacOS/Emacs" \
- "$SUPER_APP/Emacs.app/Contents/MacOS/Emacs" \
- /Applications/Emacs.app/Contents/MacOS/Emacs \
+ "$THIS/Aquamacs.app/Contents/MacOS/Aquamacs" \
+ "$SUPER_APP/Aquamacs.app/Contents/MacOS/Aquamacs" \
+ /Applications/Aquamacs.app/Contents/MacOS/Aquamacs \
"")"
declare -a EMACS_OPTIONS=()