diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-08-12 13:23:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-08-12 13:23:34 +0000 |
| commit | d11e8a19a2e4bf0cf770f16e787036a5497d6919 (patch) | |
| tree | d600a7e8b87eb6138dd308a44a91a23e8329ad03 /BUGS | |
| parent | 14daf15aca760cc64edb7e23ddb5a409535d8ab6 (diff) | |
Instructions on reporting bugs
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -16,6 +16,16 @@ versions, and those which only apply to particular versions. NB: some issues which affect PG but which are not necessarily bugs in PG are mentioned in the FAQ. +* Reporting bugs + +If you have a problem that is not mentioned here, please contact me at +the address above. Please describe your problem carefully, include a +short demonstration file and tell me the exact version of Emacs and +Proof General that you are using. You can use the menu command + + Proof General -> Help -> Send Bug Report + +to conveniently include the proper version numbers in your message. * Generic problems, for all Emacs versions @@ -135,6 +145,11 @@ XEmacs implementation of parse-partial-sexp appears at fault. It gives this error message when nesting depth reaches 100. With GNU Emacs, a nesting depth of 40000 or more is possible. +Some error handling has been added in the code to cope with this +condition. If you notice the disappearance of correct syntax +highlighting in the response buffer when large output with unbalanced +parentheses is produced, this error may be the cause. You can clear +the response buffer by hitting "c" when it is selected. ** XEmacs font-lock problem in certain versions of XEmacs 21.4 |