Notes about fix for problem with Emacs 20.5 reported by Pierre

1 files changed, 16 insertions, 3 deletions

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
 ================