From 90bca7001ed082df094b344a9ea2e8f8aeb7823f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 24 Sep 2003 23:57:12 +0000
Subject: Include class attribute in PGIP commands

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

diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el
index 7842063d..61a30f2c 100644
--- a/generic/pg-pgip.el
+++ b/generic/pg-pgip.el
@@ -316,7 +316,9 @@
 (defun pg-issue-pgip (pgip &optional block)
   (proof-shell-invisible-command 
    (funcall proof-shell-issue-pgip-cmd 
-	    (format "<pgip>%s</pgip>" pgip)) block))
+	    ;; FIXME: ought to generate sequence numbers and
+	    ;; engine ids here.
+	    (format "<pgip class=\"pa\">%s</pgip>" pgip)) block))
 
 ;;;###autoload
 (defun pg-pgip-askprefs ()
-- 
cgit v1.2.3