diff options
author | 2001-12-11 00:51:28 +0000 | |
---|---|---|
committer | 2001-12-11 00:51:28 +0000 | |
commit | 851ab0efabce17933d5c6724a56c72aed69d30e1 (patch) | |
tree | 7fb41a1dddf6e37bbd9c0e20522700f0878b84fe | |
parent | d75ebf1ab7e1ec256265581e20aa5eaf4fb4b4f9 (diff) |
Add proof-running-on-Emacs21 flag.
-rw-r--r-- | generic/proof-site.el | 5 |
1 files changed, 4 insertions, 1 deletions
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.")) |