From 15230ca7a9ef31bdd0101bc1b2aa59e5bd268c50 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 21 Jun 2002 15:00:32 +0000 Subject: Mention looping GNU --- BUGS | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'BUGS') diff --git a/BUGS b/BUGS index f230ab8b..17268bb3 100644 --- a/BUGS +++ b/BUGS @@ -15,6 +15,13 @@ versions, and those which only apply to particular versions. * Generic problems, for all Emacs versions +** Looping in Emacs 21.2 + +Several (odd) circumstances cause this version of Emacs to loop. +For example, (setq-default column-number-mode t) before starting +Emacs, or moving the cursor around in the *coq* buffer. +It seems likely that these are Emacs bugs, workaround unknown. + ** Visibility control doesn't distinguish theorems with same name. If you have more than one theorem with the same name in a buffer, -- cgit v1.2.3