diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-02-05 22:54:50 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-05 22:54:50 +0000 |
commit | 278498ced8fe68c37007d6d71cf539f3d3d3c0d2 (patch) | |
tree | 09344a94fe06e300922c1bbb48172cb657749e81 /BUGS | |
parent | 8acc26a911f5ad3264c5e83771048f3a3be07ea4 (diff) |
Updated.
Diffstat (limited to 'BUGS')
-rw-r--r-- | BUGS | 21 |
1 files changed, 18 insertions, 3 deletions
@@ -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 |