diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-11-11 01:43:05 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-11-11 01:43:05 +0000 |
commit | 370ff232a248d13865da140b45da1275581a8e34 (patch) | |
tree | 66f9ae577755a1293f7b4f5024bef6917324d96c /BUGS | |
parent | 586519c4ad21b352f566ee7579fbb82730326664 (diff) |
Updated.
Diffstat (limited to 'BUGS')
-rw-r--r-- | BUGS | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -6,9 +6,9 @@ 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). -** UTF-8 problems with Red Hat 8.0 & (at least) Coq. +** 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 +RedHat 8 has glibc 2.2 and UTF8 encoded output may be turned on in default locale. Unfortunately Proof General relies on 8-bit characters which are UTF8 prefixes in the output of proof assistants (inc Coq, Isabelle). These prefix characters are not flushed to |