diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-09-19 11:28:28 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-09-19 11:28:28 +0000 |
commit | 44f3a25dae5cbed2fa5497c601c0d95e82558a00 (patch) | |
tree | 24fbb39452fcbc25dd625ec940e71a6fc2f76f93 /bin | |
parent | 57304f114a5d459317c8b09717fa3d74c65cc6fc (diff) |
Updated.
Diffstat (limited to 'bin')
-rw-r--r-- | bin/proofgeneral | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/proofgeneral b/bin/proofgeneral index 0e277bf3..a661adaf 100644 --- a/bin/proofgeneral +++ b/bin/proofgeneral @@ -18,7 +18,8 @@ # The default path should work if you are using the Proof General RPM # or unpack Proof General in your home directory. Otherwise edit below. # NB: no trailing backslash here! -#PGHOMEDEFAULT=/Applications/Emacs.app/Contents/MacOS/Emacs/site-lisp/ProofGeneral +# On Mac, maybe: +# /Applications/Emacs.app/Contents/MacOS/Emacs/site-lisp/ProofGeneral PGHOMEDEFAULT=$HOME/ProofGeneral NAME=`basename $0` |