From d29421a66295fd9c1f66d98f5dde44519bac343e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 16 Aug 2004 14:53:24 +0000
Subject: Note about use of this lib.

---
 generic/pg-xml.el | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3