From 278498ced8fe68c37007d6d71cf539f3d3d3c0d2 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 5 Feb 2003 22:54:50 +0000 Subject: Updated. --- BUGS | 21 ++++++++++++++++++--- 1 file changed, 18 insertions(+), 3 deletions(-) (limited to 'BUGS') diff --git a/BUGS b/BUGS index 83a26034..b4abf567 100644 --- a/BUGS +++ b/BUGS @@ -1,9 +1,22 @@ -*- outline -*- -* Bugs to be fixed before PG 3.5 is released. +* Bugs to be fixed before PG 3.5 is released; recently noted items -The items below are known and will be fixed before 3.5 is released. -Please don't send email about them (unless you can fix them). +The items below are known and will be fixed (or shifted to the list +below) before 3.5 is released. Please don't send email about them +(unless you can fix them). + +** Various menu problems with Emacs 21.2. + +PG menus may be added to wrong bar during autoload. See CHANGES for +temporary workaround. + + +** Occasional appearance of <^sync> messages in Isabelle/Isar output + +Due to a patch for Coq that has changed some internals. Patch is due +to be reverted, Coq itself has been changed to avoid need for the +hack. May cause other glitches with Isabelle. ** UTF-8 problems with Red Hat 8.0 / glibc 2.2 and (at least) Coq. @@ -28,8 +41,10 @@ be read the shell. This will affect all applications, though. + ================================================================= + * Known Bugs and Workarounds for Proof General. Contact: mailto:bugs@proofgeneral.org -- cgit v1.2.3