From 851ab0efabce17933d5c6724a56c72aed69d30e1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 Dec 2001 00:51:28 +0000
Subject: Add proof-running-on-Emacs21 flag.

---
 generic/proof-site.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 002bd5f5..b5a44495 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -367,7 +367,10 @@ proof-assistant-table."
 (eval-and-compile
 (defvar proof-running-on-XEmacs (string-match "XEmacs" emacs-version)
   "Non-nil if Proof General is running on XEmacs.")
-;; rough test for XEmacs on win32, anyone know about FSF on win32?
+(defvar proof-running-on-Emacs21 (and (not proof-running-on-XEmacs)
+				      (>= 21 emacs-major-version))
+  "Non-nil if Proof General is running on GNU Emacs 21 or later.")
+;; rough test for XEmacs on win32, anyone know about GNU Emacs on win32?
 (defvar proof-running-on-win32 (fboundp 'win32-long-file-name)
   "Non-nil if Proof General is running on a win32 system."))
 
-- 
cgit v1.2.3