diff options
| -rw-r--r-- | generic/proof-compat.el | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/generic/proof-compat.el b/generic/proof-compat.el index a4f2a391..74b53f69 100644 --- a/generic/proof-compat.el +++ b/generic/proof-compat.el @@ -42,7 +42,21 @@ with `path-separator'." ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; -;;; FSF compatibility +;;; GNU Emacs compatibility with XEmacs +;;; + +(if proof-running-on-Emacs21 + (defun proof-emacs-imagep (img) + "See if IMG is an Emacs 21 image descriptor." + (and (listp img) (eq (car img) 'image))) + ;; Otherwise, constant nil function + (defun proof-emacs-imagep (img) + "See if IMG is an Emacs 21 image descriptor (returns nil since not E21)." + nil)) + +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;; +;;; GNU Emacs compatibility ;;; ;; completion not autoloaded in FSF 20.6.1; we must call |