diff options
| author | Makarius Wenzel | 2000-05-30 12:35:50 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-05-30 12:35:50 +0000 |
| commit | f1ea659bb241deff3b264f94cfa191c16ac80ba7 (patch) | |
| tree | f899bea755d693bf45f3892da6bc84c793155775 | |
| parent | 00dbc321670fb4a4fd50701027359f6426af5ac7 (diff) | |
handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;
| -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")) |