Notes about fix for problem with Emacs 20.5 reported by Pierre

2 files changed, 22 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
 ================
diff --git a/CHANGES b/CHANGES
index 76fadd98..6e24d002 100644
--- a/CHANGES
+++ b/CHANGES
@@ -11,6 +11,12 @@ Minor bug fix for duplicated short output.
 Bug fix with .thy files and X-Symbol mode: subsequently visited
  theory files would have X-Symbols broken.  (NB: Fix in progress)
 
+Bug fix for FSF Emacs 20.5.  (Emacs would freeze when starting proof
+assistant due to character matching problem).
+
+
+
+
 
 Coq Changes
 -----------