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 | |
| parent | 73a59aba07146650d43fe3f7151114afa7d0c4be (diff) | |
Updated
| -rw-r--r-- | BUGS | 16 | ||||
| -rw-r--r-- | doc/.cvsignore | 21 |
2 files changed, 16 insertions, 21 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 diff --git a/doc/.cvsignore b/doc/.cvsignore index 961dd664..145b4f15 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -14,20 +14,9 @@ ProofGeneral.info ProofGeneral.cps ProofGeneral.fns ProofGeneral.vrs -NewDoc.log -NewDoc.dvi -NewDoc.aux -NewDoc.cp -NewDoc.fn -NewDoc.vr -NewDoc.tp -NewDoc.ky -NewDoc.pg -NewDoc.toc -NewDoc.info -NewDoc.cps -NewDoc.fns -NewDoc.vrs -NewDoc.ps -NewDoc.kys +ProofGeneral.info-* + + + + |