diff options
| -rw-r--r-- | isa/interface-setup.el | 11 |
1 files 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")) |