diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 12:11:59 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-03 12:11:59 +0000 |
commit | b7209db785ccd5e68ecc144f628cf7593a215ede (patch) | |
tree | d74caf158d93370c57368f40cdf16965d5d6894f /bin | |
parent | 53a6404d7394d16783bfc7fb9652993b426938fb (diff) |
Updating branch
Diffstat (limited to 'bin')
-rw-r--r-- | bin/proofgeneral | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/proofgeneral b/bin/proofgeneral index dec54b8b..92b029f1 100644 --- a/bin/proofgeneral +++ b/bin/proofgeneral @@ -10,8 +10,8 @@ # $Id$ # -PGHOME=/usr/share/emacs/ProofGeneral -#PGHOME=~/ProofGeneral +#PGHOME=/usr/share/emacs/ProofGeneral +PGHOME=~/ProofGeneral if which xemacs > /dev/null; then EMACS=xemacs @@ -19,4 +19,4 @@ else EMACS=emacs fi -$EMACS -l $PGHOME/generic/proof-site.el -f proof-splash-display-screen "$@" +$EMACS -q -l $PGHOME/generic/proof-site.el -f proof-splash-display-screen "$@" |