From 31a9df46b727aa5eb6fea373d81bc8203891f104 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 10 Aug 2005 13:02:24 +0000
Subject: Update year

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

diff --git a/bin/proofgeneral b/bin/proofgeneral
index f66cdaa7..d24ba24e 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -20,7 +20,7 @@
 # The default path should work if you are using the Proof General RPM
 # or unpack Proof General in your home directory.
 # NB: no trailing backslash here!
-PGHOMEDEFAULT=$HOME/ProofGeneral
+PGHOMEDEFAULT=/home/da/ProofGeneral
 
 # Try to find a default Emacs executable 
 if [ -z "$EMACS" ] || [ ! -x "$EMACS" ]; then
@@ -55,7 +55,7 @@ Report bugs to <da+pg-bugs@inf.ed.ac.uk>."
 
 VERSIONBLURB='David Aspinall.
 
-Copyright (C) 1998-2004 LFCS, University of Edinburgh, UK.
+Copyright (C) 1998-2005 LFCS, University of Edinburgh, UK.
 This is free software; see the source for copying conditions.'
 
    
-- 
cgit v1.2.3