From ae6fdfa6b5d062b26938f7d4ede1f47cc0b1dc7b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Jun 2004 17:02:55 +0000
Subject: Updated.

---
 FAQ | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index 5fcf99b9..c3f5aa91 100644
--- a/FAQ
+++ b/FAQ
@@ -11,7 +11,7 @@ Please also check the BUGS file.
 Q. Emacs appears to hang when the prover process is started.
 
 A. Perhaps this because of UTF-8 in recent linuxes with glibc 2.2 or later
-   (e.g in Red Hat 8.0/9/Suse 9.1)
+   (e.g in Red Hat 8.0, 9, Fedora Core 1,2, Suse 9.1, ...)
 
    Glibc 2.2 and later may be enabled with UTF8 encoded output in your
    default locale.  Unfortunately Proof General relies on 8-bit
-- 
cgit v1.2.3