From 6210e5fbc6bd75b31219a7292c890d475a69a78a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Nov 2002 12:44:08 +0000
Subject: Doc

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

(limited to 'generic')

diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el
index 9c458f8a..7ff79d00 100644
--- a/generic/pg-pgip.el
+++ b/generic/pg-pgip.el
@@ -32,6 +32,8 @@
       (let* ((pgip  (car pgips))
 	     (elt   (or (car-safe (car pgip))         ; normalise to symbol
 			(car pgip)))
+	     ;; FIXME: this is wrong for self-closing elts, test with
+	     ;; ProofGeneral.process_pgip("<pgip><askpgml/></pgip>"); 
 	     (attr  (cdr-safe (car pgip)))
 	     (attrs (and attr (if (listp (cdr attr)) ; normalise to list
 				  attr (list attr))))
@@ -152,7 +154,7 @@
 ;; message from prover.  But no harm will result if it is --- and that
 ;; might be appropriate if some canonicalisation occurs.
 
-; in progress
+; in progress [FIXME: Isabelle can send this as reply to getpref now]
 ;(defun pg-pgip-prefval (attrs value)
 ;  "Process a <prefval> element, by setting interface's copy of preference."
 ;  (let*
-- 
cgit v1.2.3