diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-xml.el | 6 |
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 |