From f1ea659bb241deff3b264f94cfa191c16ac80ba7 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 30 May 2000 12:35:50 +0000
Subject: handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;

---
 isa/interface-setup.el | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/isa/interface-setup.el b/isa/interface-setup.el
index 7e5ed4e4..7f170480 100644
--- a/isa/interface-setup.el
+++ b/isa/interface-setup.el
@@ -6,9 +6,8 @@
  'isabelle-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))))
+(customize-set-variable
+ (if (equal (getenv "PROOFGENERAL_ASSISTANTS") "isa")
+     'isa-x-symbol-enable
+   'isar-x-symbol-enable)
+ (equal (getenv "PROOFGENERAL_XSYMBOL") "true"))
-- 
cgit v1.2.3