From d11e8a19a2e4bf0cf770f16e787036a5497d6919 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 12 Aug 2004 13:23:34 +0000 Subject: Instructions on reporting bugs --- BUGS | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'BUGS') diff --git a/BUGS b/BUGS index 29918a33..90860405 100644 --- a/BUGS +++ b/BUGS @@ -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 -- cgit v1.2.3