From 06853fbac70a8b67a347243543bf2f8f4f718a18 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Mar 2004 00:19:23 +0000
Subject: Mention non-Mule XEmacs version probs

---
 FAQ | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index 6ee3d590..56a419b1 100644
--- a/FAQ
+++ b/FAQ
@@ -31,6 +31,14 @@ A. This may be because of UTF-8 issues e.g in Red Hat 8.0/9/glibc 2.2
    be read the shell.  This will affect all applications, though.
    [ suggestions for a better workaround inside Emacs would be welcome ]
 
+
+-----------------------------------------------------------------
+
+Q. XEmacs appears to hang on certain malformed inputs to the prover.
+
+A. This symptom may be caused by using non-Mule versions of XEmacs.
+   Please make sure you use a Mule-enabled version.
+
 -----------------------------------------------------------------
 
 Q. XEmacs 21.4 displays a progress bar during fontification which
@@ -38,11 +46,11 @@ Q. XEmacs 21.4 displays a progress bar during fontification which
    Is this a Proof General bug?  What can I do?
 
 A. This is an XEmacs bug.  What you can do is prevent the use
-   of the widget, for example by adding 
+   of the ugly widget, for example by adding 
 
      (setq progress-feedback-use-echo-area t)
 
-   inside your configuration file `.xemacs/init.el'
+   inside your configuration file `.xemacs/init.el'.
 
 -----------------------------------------------------------------
 
-- 
cgit v1.2.3