1 files changed, 0 insertions, 14 deletions
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))))