diff options
Diffstat (limited to 'generic')
| -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))) |