From 94b627eef69809a098e757f97431a4314bfc183a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 May 2001 16:04:24 +0000
Subject: Move emacs version compatibility flags to proof-site.el

---
 generic/proof-compat.el | 13 -------------
 1 file changed, 13 deletions(-)

(limited to 'generic')

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
@@ -17,19 +17,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
-- 
cgit v1.2.3