From 882e453a0921295e95201a57ed55517ad66e9342 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2004 21:05:53 +0000
Subject: Updated.

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

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index e9b13b39..26921b72 100644
--- a/FAQ
+++ b/FAQ
@@ -294,8 +294,8 @@ A. Customize the value of `proof-shell-strip-crs-from-output'.
 Q. Why do I get a warning "[Proof General]: an old version of xml.el was loaded!"?
 
 A. Your Emacs session has loaded a version of xml.el from somewhere other
-   than the PG/lib directory.  It may be buggy -- some earlier versions give
-   bad results parsing empty elements.  To avoid this warning, try to start
+   than the PG/lib directory.  It has a bug which *may* affect PG, if
+   empty tags are parsed.  To avoid this warning, try to start 
    Proof General before other Emacs packages which use xml.el, such as GNUS.
 
 -----------------------------------------------------------------
-- 
cgit v1.2.3