From d17c58998052ed0924a1a300fe064aa523763d18 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 12:21:24 +0000
Subject: Accidental update; revert to previous

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

(limited to 'bin')

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 92b029f1..8276f9bf 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
-- 
cgit v1.2.3