diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-15 23:34:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-15 23:34:29 +0000 |
| commit | d3e1ccaa958f2bd4814c693a5340afc3c5b03d09 (patch) | |
| tree | 0dbecc5d68c5cad649c12f9213cda9010ad7bb32 /generic/pg-xml.el | |
| parent | 3570f7130244d2168c29ab1546c56711db31b7bc (diff) | |
Fix autoload
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 |