diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-09-24 23:57:12 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-09-24 23:57:12 +0000 |
commit | 90bca7001ed082df094b344a9ea2e8f8aeb7823f (patch) | |
tree | a22f6128a651e77a160d72b26e79d3f8ae5c9cff /generic/pg-pgip.el | |
parent | 5d0dc57d27f1ab8da216032a6fd25541d39ca9ae (diff) |
Include class attribute in PGIP commands
Diffstat (limited to 'generic/pg-pgip.el')
-rw-r--r-- | generic/pg-pgip.el | 4 |
1 files changed, 3 insertions, 1 deletions
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 () |