From 370ff232a248d13865da140b45da1275581a8e34 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 11 Nov 2002 01:43:05 +0000 Subject: Updated. --- BUGS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'BUGS') diff --git a/BUGS b/BUGS index 5a43a594..be1ae67d 100644 --- a/BUGS +++ b/BUGS @@ -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 -- cgit v1.2.3