# HG changeset patch
# User paulson
# Date 1344261675 -3600
# Node ID b5d7a35bdd6ae351f8fc6a6d12c899f4ea0d9788
# Parent  90e5093c3e1c0e69b459c5ee3862292018bbaf70
switching from Emacs.app to Aquamacs.app

diff -r 90e5093c3e1c -r b5d7a35bdd6a Admin/MacOS/App1/script
--- 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=()