From c9549b33972b1e7b2a98ede80b537afae0a0e219 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 30 Sep 2005 10:28:48 +0000
Subject: Comments.

---
 lib/xml.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/xml.el b/lib/xml.el
index 2277cdbf..17e507d4 100644
--- a/lib/xml.el
+++ b/lib/xml.el
@@ -1,7 +1,9 @@
 ;;; xml.el --- XML parser
 
 ;;; !!! This version has been modified from the version distributed with
-;;; XEmacs to fix a bug parsing empty elements, for Proof General.  !!!
+;;; XEmacs to fix a bug parsing empty elements, for Proof General.  
+;;; NB: the version distributed with GNU Emacs doesn't have this bug,
+;;; so we ought to use that instead of this one.
 
 ;; Copyright (C) 2000, 2001 Free Software Foundation, Inc.
 
-- 
cgit v1.2.3