diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-19 12:05:28 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-19 12:05:28 +0000 |
| commit | e5a8b969410ba0a1e524109a5a6bd91a1cbd350b (patch) | |
| tree | 8dfe4eace085f8a66b0143a70269b0f3e0c8446e /BUGS | |
| parent | d20c700fb74490a3f3287a963e33c4b8bb6459ee (diff) | |
Updated.
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 11 |
1 files changed, 2 insertions, 9 deletions
@@ -3,8 +3,8 @@ * Bugs to be fixed before PG 3.5 is released; recently noted items 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). +below) before 3.5 is released. Please don't send email about these +(unless you can fix them). Please do send email about others. ** Various menu problems with Emacs 21.2. @@ -12,13 +12,6 @@ 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. RedHat 8 has glibc 2.2 and UTF8 encoded output may be turned on in |