blob: 7e5ed4e4df4788e98d7693fce2425a86e0207b02 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
;;
;; $Id$
;;
(customize-set-variable
'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))))
|
