equal
deleted
inserted
replaced
46 |
46 |
47 |
47 |
48 # Proof General / Emacs |
48 # Proof General / Emacs |
49 |
49 |
50 PROOFGENERAL_EMACS="$(choosefrom \ |
50 PROOFGENERAL_EMACS="$(choosefrom \ |
51 "$THIS/Emacs.app/Contents/MacOS/Emacs" \ |
51 "$THIS/Aquamacs.app/Contents/MacOS/Aquamacs" \ |
52 "$SUPER_APP/Emacs.app/Contents/MacOS/Emacs" \ |
52 "$SUPER_APP/Aquamacs.app/Contents/MacOS/Aquamacs" \ |
53 /Applications/Emacs.app/Contents/MacOS/Emacs \ |
53 /Applications/Aquamacs.app/Contents/MacOS/Aquamacs \ |
54 "")" |
54 "")" |
55 |
55 |
56 declare -a EMACS_OPTIONS=() |
56 declare -a EMACS_OPTIONS=() |
57 if [ -n "$PROOFGENERAL_EMACS" ]; then |
57 if [ -n "$PROOFGENERAL_EMACS" ]; then |
58 EMACS_OPTIONS=(-p "$PROOFGENERAL_EMACS") |
58 EMACS_OPTIONS=(-p "$PROOFGENERAL_EMACS") |