# HG changeset patch
# User paulson
# Date 1344261779 -3600
# Node ID db82a65cdb8018908ebe9e4032e43d4c50fe32bf
# Parent  188cbbce880ef08dc7d986e39b16d35ef9788f17# Parent  b5d7a35bdd6ae351f8fc6a6d12c899f4ea0d9788
switching from Emacs.app to Aquamacs.app

diff -r 188cbbce880e -r db82a65cdb80 Admin/MacOS/App1/script
--- 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=()