From 686d42abbcd80a551da4bab78d58829e722c3251 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Jun 1999 17:11:25 +0000
Subject: Patched patch for updated proof-site.el

---
 etc/ProofGeneral.patch | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'etc/ProofGeneral.patch')

diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch
index 5a329bb9..26625b2e 100644
--- a/etc/ProofGeneral.patch
+++ b/etc/ProofGeneral.patch
@@ -16,7 +16,7 @@ diff -cr ProofGeneral.old/generic/proof-site.el ProofGeneral/generic/proof-site.
 *** ProofGeneral.old/generic/proof-site.el	Wed Oct  7 18:38:21 1998
 --- ProofGeneral/generic/proof-site.el	Wed Oct  7 19:05:08 1998
 ***************
-*** 76,82 ****
+*** 92,98 ****
     :group 'proof-general-internals)
   
   (defcustom proof-info-directory
@@ -24,7 +24,7 @@ diff -cr ProofGeneral.old/generic/proof-site.el ProofGeneral/generic/proof-site.
     "Where Proof General Info files are installed."
     :type 'directory
     :group 'proof-general-internals)
---- 76,82 ----
+--- 92,98 ----
     :group 'proof-general-internals)
   
   (defcustom proof-info-directory
-- 
cgit v1.2.3