isa/interface-setup.el


1
2
3
4
5
6
7
8
9
10
11

;;
;; $Id$
;;

(let ((xsymbol (getenv "PROOFGENERAL_XSYMBOL")))
  (if (and xsymbol (not (equal xsymbol "")))
      (customize-set-variable
       (if (equal (getenv "PROOFGENERAL_ASSISTANTS") "isa")
           'isa-x-symbol-enable
         'isar-x-symbol-enable)
       (equal xsymbol "true"))))