diff options
| -rw-r--r-- | generic/proof.el | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/generic/proof.el b/generic/proof.el index f56f577e..047cf614 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -2671,9 +2671,16 @@ finish setup which depends on specific proof assistant configuration." (cons proof-mode-name (append (cdr proof-menu) - (list (customize-menu-create 'proof) - (customize-menu-create 'proof-internal - "Internals"))))) + ;; begin UGLY COMPATIBILTY HACK + ;; older/non-existent customize doesn't have + ;; this function. + (if (fboundp 'customize-menu-create) + (list (customize-menu-create 'proof) + (customize-menu-create 'proof-internal + "Internals")) + nil) + ;; end UGLY COMPATIBILTY HACK + ))) (easy-menu-add proof-mode-menu proof-mode-map) ;; For fontlock |