diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 14:10:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-25 14:10:31 +0000 |
commit | 3588aca7b6d5edebcde7a32e24d43531c35d85aa (patch) | |
tree | f1f2ba14f1f6457594ce97636cdbb683095d9201 /BUGS | |
parent | 73a59aba07146650d43fe3f7151114afa7d0c4be (diff) |
Updated
Diffstat (limited to 'BUGS')
-rw-r--r-- | BUGS | 16 |
1 files changed, 11 insertions, 5 deletions
@@ -1,10 +1,15 @@ -Known Bugs and Workarounds. -=========================== +Known Bugs and Workarounds for Proof General. +============================================= $Id$ -* Toolbar: retract button can give "BUG" error message "called from -wrong buffer" when the process is inactive. +Contact: proofgen@dcs.ed.ac.uk +See also: http://www.dcs.ed.ac.uk/home/proofgen/ProofGeneral/BUGS + +----------------- + +Generic problems +================ * Ordinary undo in script buffer can edit the "uneditable region" in XEmacs. This doesn't happen in FSFmacs. Test case: @@ -41,7 +46,8 @@ get a patch from Sun, or use Linux. * XEmacs sessions perhaps grow excessively in terms of memory allocation. Maybe some of the spans aren't removed properly. Setting a limit on the size of the process buffer doesn't seem to -help. (1998/10/06: Is this bug still present? Test examples?) +help. (1998/10/06: Is this bug still present? Please tell us if +you think so.) *`proof-find-next-terminator' (bound to C-c C-e) doesn't work properly. Workaround: use other means to navigate in a proof scipt |