introduced section for FSF Emacs

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