From 43fb0f1c705dfa12404b51d22c25de4af1269242 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 28 Aug 2001 15:37:32 +0000
Subject: Call function which always waits to prevent odd mode selection bug.

---
 bin/proofgeneral | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'bin')

diff --git a/bin/proofgeneral b/bin/proofgeneral
index b479b531..dec54b8b 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -10,8 +10,8 @@
 # $Id$
 #
 
-# 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-message "$@"
+$EMACS -l $PGHOME/generic/proof-site.el -f proof-splash-display-screen "$@"
-- 
cgit v1.2.3