switching from Emacs.app to Aquamacs.app

--- a/Admin/MacOS/App1/script	Mon Aug 06 15:12:18 2012 +0200
+++ b/Admin/MacOS/App1/script	Mon Aug 06 15:02:59 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=()