aboutsummaryrefslogtreecommitdiffhomepage
path: root/BUGS
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-05-01 16:19:57 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-05-01 16:19:57 +0000
commite50f13511bcfaa6c664c6995da5c5b652193cd7b (patch)
treeef1f361878a78a0a34838de51ae2bd1d13b1c36b /BUGS
parent2e085b60bbe0dedeedc137f234fd865e0d0e13f6 (diff)
Added note about new FSF bug discovered, sigh...
Diffstat (limited to 'BUGS')
-rw-r--r--BUGS7
1 files changed, 7 insertions, 0 deletions
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