diff options
Diffstat (limited to 'generic/pg-xml.el')
| -rw-r--r-- | generic/pg-xml.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/generic/pg-xml.el b/generic/pg-xml.el index 31ba1515..a305df0f 100644 --- a/generic/pg-xml.el +++ b/generic/pg-xml.el @@ -8,6 +8,8 @@ ;; ;; XML functions for Proof General ;; +;; STATUS: Experimental, not in use. +;; ;; Proof General Kit uses PGIP, an XML-message protocol ;; for interactive proof. The simple functions here allow ;; parsing and writing of XML documents. Little attempt @@ -165,6 +167,7 @@ is (message "Parsing %s...done" (buffer-name buffer))) (caar xmlparse)))) +;;;###autoload (defun pg-xml-parse-string (arg) "Parse string in ARG, same as pg-xml-parse-buffer." (let |