From e50f13511bcfaa6c664c6995da5c5b652193cd7b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 May 2000 16:19:57 +0000
Subject: Added note about new FSF bug discovered, sigh...

---
 BUGS | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'BUGS')

diff --git a/BUGS b/BUGS
index 33da5239..e991be99 100644
--- a/BUGS
+++ b/BUGS
@@ -80,6 +80,13 @@ simplifier, when tracing rewriting.
 
 * Problems with particular Emacs versions
 
+** FSF Emacs hangs when undoing first command in script.
+ 
+Noticed with Emacs 20.6.1.  Seems to affect all provers.
+Workaround:  use C-c C-RET or C-c C-r instead.
+Nasty workaround: (setq debug-on-quit t), hit "c" on each hang
+to continue.
+
 ** XEmacs 21.1.9 on Win32
 
 Some strange problems reading files with this version of Emacs. Gives
-- 
cgit v1.2.3