From d3e1ccaa958f2bd4814c693a5340afc3c5b03d09 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Aug 2002 23:34:29 +0000
Subject: Fix autoload

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

(limited to 'generic/pg-xml.el')

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