diff options
| author | David Aspinall | 2001-05-16 16:04:24 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-05-16 16:04:24 +0000 |
| commit | 94b627eef69809a098e757f97431a4314bfc183a (patch) | |
| tree | e4132bfa8a64ec8ae7274431623984b4595fd726 | |
| parent | 8a0d67c2e4d49f46fdcd473da6a27b97d436b6f2 (diff) | |
Move emacs version compatibility flags to proof-site.el
| -rw-r--r-- | generic/proof-compat.el | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/generic/proof-compat.el b/generic/proof-compat.el index 349a9695..52cf6229 100644 --- a/generic/proof-compat.el +++ b/generic/proof-compat.el @@ -19,19 +19,6 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; -;;; Architecture flags -;;; - -(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-win32 (fboundp 'win32-long-file-name) - "Non-nil if Proof General is running on a win32 system.")) - - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;;; ;;; XEmacs compatibility ;;; |