diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-06-21 15:00:32 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-21 15:00:32 +0000 |
| commit | 15230ca7a9ef31bdd0101bc1b2aa59e5bd268c50 (patch) | |
| tree | 3e320d26eb5c9723f9bd94a716989eb599351afa /BUGS | |
| parent | 06d66d9fb3c26c7506103e9fc2030f547ec5dcd6 (diff) | |
Mention looping GNU
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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, |