From 9fa70e3d3714230f71d9814a15acdcb29bce4557 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 14 Apr 2004 13:15:28 +0000 Subject: Support 'oldhaspref as alias for 'haspref in PG 3.5. --- generic/pg-pgip.el | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) 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))) - ;; + + ;; FIXME: this next will be replaced by current version of + ;; in PG 4.0. The is for + ;; compatibility with Isabelle2004. + ;; (Isabelle2003 will break with PG 4.0) ((eq elt 'haspref) (pg-pgip-haspref attrs (car-safe body))) + ;; + ((eq elt 'oldhaspref) + (pg-pgip-haspref attrs (car-safe body))) + ;; ((eq elt 'prefval) (pg-pgip-prefval attrs (car-safe body))) -- cgit v1.2.3