diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-08-23 16:49:21 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-08-23 16:49:21 +0000 |
| commit | 1ca974c0077999a000e09d2d5c05ca526b2369a0 (patch) | |
| tree | d0f933795f845ef00001ef30dd3d452f5ff5bf19 | |
| parent | a84bad55c6b856f18cc1d8a36f44353f31d40aac (diff) | |
Mentioned C-c C-a being broken. XEmacs 20.4 or later.
| -rw-r--r-- | BUGS | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -29,7 +29,7 @@ breaks some of the code in Proof General, which is turned off in case the suspicious looking function toggle-enable-multibyte-characters is present. This could effect forthcoming versions of XEmacs. -Workaround: use FSFmacs 20.2, or XEmacs 20.4. +Workaround: use FSFmacs 20.2, or XEmacs 20.4/later. * Using C-g can leave script management in a mess. The code needs to have some regions protected from Emacs interrupts. @@ -41,8 +41,8 @@ restrictions of protected region. Workaround: none, nevermind. (If it's hugely needed we could support modified outline commands). * `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. +properly. Neither does 'proof-goto-command-start' (C-c C-a). +Workaround: use other means to navigate in a proof scipt buffer. * Multiple file handling for Lego and Isabelle is slightly vulnerable. Files are not locked when they are being read by the prover, so a long |