Note about use of this lib.

1 files changed, 5 insertions, 1 deletions

diff --git a/generic/pg-xml.el b/generic/pg-xml.el
index 8a777cbd..45880d66 100644
--- a/generic/pg-xml.el
+++ b/generic/pg-xml.el
@@ -8,7 +8,11 @@
 ;;
 ;; XML functions for Proof General
 ;;
-;; STATUS: Experimental, not in use.
+;; STATUS: Experimental, used in proof-shell to deal with PGIP
+;; messages from prover.  
+;; 
+;; TODO: Replace this file by a more robust/standard 
+;; Emacs XML library.
 ;;
 ;; Proof General Kit uses PGIP, an XML-message protocol
 ;; for interactive proof.  The simple functions here allow