From 2c9c5d001e4bbdbed3b3375c6f83155d7333a100 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 Dec 2001 00:48:20 +0000
Subject: Add proof-emacs-imagep function for GNU Emacs 21.

---
 generic/proof-compat.el | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

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 
-- 
cgit v1.2.3