From 36084d0cf1e6117f0277ed7a2502e38a07417602 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 25 Jan 2000 12:45:53 +0000
Subject: Notes about fix for problem with Emacs 20.5 reported by Pierre

---
 BUGS | 19 ++++++++++++++++---
 1 file changed, 16 insertions(+), 3 deletions(-)

(limited to 'BUGS')

diff --git a/BUGS b/BUGS
index 8585b9f6..26a05e96 100644
--- a/BUGS
+++ b/BUGS
@@ -1,12 +1,25 @@
 Known Bugs and Workarounds for Proof General.
 =============================================
 
-$Id$
-
 Contact:  proofgen@dcs.ed.ac.uk
 See also: http://www.dcs.ed.ac.uk/home/proofgen/ProofGeneral/BUGS
 
------------------
+
+Proof General 3.0 BUGS addendum
+===============================
+
+* FSF Emacs: problem with version 20.5: PG freezes when starting a
+proof assistant.  Fixed in the current pre-release.
+
+
+
+
+
+
+ProofGeneral 3.0 Original BUGS list
+===================================
+
+
 
 Generic problems
 ================
-- 
cgit v1.2.3