aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2005-09-30 10:28:48 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2005-09-30 10:28:48 +0000
commitc9549b33972b1e7b2a98ede80b537afae0a0e219 (patch)
treea52f5f981c37ec92f6cd4afb1e8a38fa5d73074d /lib
parent449bc5f43bdff6a626dc2bb3cf2b9258165a6fd4 (diff)
Comments.
Diffstat (limited to 'lib')
-rw-r--r--lib/xml.el4
1 files changed, 3 insertions, 1 deletions
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.