diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-14 13:15:28 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-14 13:15:28 +0000 |
| commit | 9fa70e3d3714230f71d9814a15acdcb29bce4557 (patch) | |
| tree | 3f3491728524dcba1f9de8503eeaf178232e24b0 /generic/pg-pgip.el | |
| parent | 600bc120f3c8c17d5682c5b06255e0b6706d1201 (diff) | |
Support 'oldhaspref as alias for 'haspref in PG 3.5.
Diffstat (limited to 'generic/pg-pgip.el')
| -rw-r--r-- | generic/pg-pgip.el | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el index 22cbcb3d..bc1d152b 100644 --- a/generic/pg-pgip.el +++ b/generic/pg-pgip.el @@ -46,10 +46,18 @@ ((eq elt 'usespgml) (proof-debug "Received usespgml message, version %s" (pg-pgip-get-version "usespgml" attrs))) - ;; <haspref> + + ;; FIXME: this next will be replaced by current version of + ;; <haspref> in PG 4.0. The <oldhaspref> is for + ;; compatibility with Isabelle2004. + ;; (Isabelle2003 will break with PG 4.0) ((eq elt 'haspref) (pg-pgip-haspref attrs (car-safe body))) + ;; <oldhaspref> + ((eq elt 'oldhaspref) + (pg-pgip-haspref attrs (car-safe body))) + ;; <prefval> ((eq elt 'prefval) (pg-pgip-prefval attrs (car-safe body))) |