From d3e1ccaa958f2bd4814c693a5340afc3c5b03d09 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 15 Aug 2002 23:34:29 +0000
Subject: Fix autoload

---
 generic/pg-pgip.el | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

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

diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el
index 963c6fd0..b35941c6 100644
--- a/generic/pg-pgip.el
+++ b/generic/pg-pgip.el
@@ -6,11 +6,14 @@
 ;;
 ;; $Id$
 ;;
+;; STATUS: Experimental, not in use.
+;;
 ;; Proof General Kit uses PGIP, an XML-message protocol
 ;; for interactive proof.  This file contains functions 
 ;; to process PGIP commands sent from the proof assistant.
 ;;
 
+;;;###autoload
 (defun pg-pgip-process-cmd (pgip) 
   "Process the command in PGIP, which should be parsed XML according to pg-xml-parse-*."
   (while (pgip)
@@ -120,11 +123,7 @@
   (pg-pgip-get-attr elt "version" attrs optional))
 
 
-      
-
-
 
 
+(provide 'pg-pgip)
 ;; End of `pg-pgip.el'
-
-
-- 
cgit v1.2.3