diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-11-28 12:44:08 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-11-28 12:44:08 +0000 |
commit | 6210e5fbc6bd75b31219a7292c890d475a69a78a (patch) | |
tree | d01736028c66757558ad35ce8bc272e84d94dcb4 /generic/pg-pgip.el | |
parent | 78c1f3571edc406bebcd54217b9656ed1ffd6b8d (diff) |
Doc
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 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* |