diff options
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 "$@" |