From 0839ce46a19e9775d742582814da1259475d4536 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 11 Feb 2000 17:46:54 +0000
Subject: option -x: enable x-symbol package;

---
 isa/interface-setup.el | 7 +++++++
 1 file changed, 7 insertions(+)

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

diff --git a/isa/interface-setup.el b/isa/interface-setup.el
index f5ee2c51..0a3f6b80 100644
--- a/isa/interface-setup.el
+++ b/isa/interface-setup.el
@@ -10,3 +10,10 @@
     (customize-set-variable
      'proof-shell-pre-interrupt-hook
      (lambda () (proof-shell-insert "f" nil))))
+
+(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