From be56a913dabd38992942cc94edb4d085195f6b97 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 10 Nov 1998 13:13:29 +0000
Subject: introduced section for FSF Emacs

---
 BUGS | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/BUGS b/BUGS
index c73e45c8..8bfb6856 100644
--- a/BUGS
+++ b/BUGS
@@ -43,16 +43,19 @@ allocation. Maybe some of the spans aren't removed properly.
 Setting a limit on the size of the process buffer doesn't seem to
 help.  (1998/10/06: Is this bug still present?  Test examples?)
 
-*`proof-zap-commas-region' does not work for Emacs 20.2 on
-  lego/example.l . On *initially* fontifying the buffer,
-  commas are not zapped. However, when entering text, commata are
-  zapped correctly. Workaround: don't stare too much at commata
-
 *`proof-find-next-terminator' (bound to C-c C-e) doesn't work
 properly. Workaround: use other means to navigate in a proof scipt
 buffer. 
 
 
+FSF Emacs specific bugs
+=======================
+
+*`proof-zap-commas-region' does not work for Emacs 20.2 on
+  lego/example.l . On *initially* fontifying the buffer,
+  commas are not zapped. However, when entering text, commata are
+  zapped correctly. Workaround: don't stare too much at commata
+
 LEGO Proof General Bugs
 =======================
 
-- 
cgit v1.2.3