From be285b13d99b4c3aab73c06a532f739bcc398b0f Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 17 May 2000 15:36:05 +0000
Subject: re-use isa/interface-setup.el rather than separate isar version;

---
 isar/interface-setup.el | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 isar/interface-setup.el

(limited to 'isar/interface-setup.el')

diff --git a/isar/interface-setup.el b/isar/interface-setup.el
deleted file mode 100644
index 9fdaba2b..00000000
--- a/isar/interface-setup.el
+++ /dev/null
@@ -1,14 +0,0 @@
-;;
-;; $Id$
-;; 
-
-(customize-set-variable
- 'isabelle-isar-prog-name
- (concat (getenv "ISABELLE") " " (getenv "PROOFGENERAL_LOGIC")))
-
-(let ((xsym (getenv "PROOFGENERAL_XSYMBOL")))
-  (cond
-   ((equal xsym "true")
-    (customize-set-variable 'proof-x-symbol-enable t))
-   ((equal xsym "false")
-    (customize-set-variable 'proof-x-symbol-enable nil))))
-- 
cgit v1.2.3