blob: 7f170480fc3420f349304e64f5a70b631b38ca91 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
;;
;; $Id$
;;
(customize-set-variable
'isabelle-prog-name
(concat (getenv "ISABELLE") " " (getenv "PROOFGENERAL_LOGIC")))
(customize-set-variable
(if (equal (getenv "PROOFGENERAL_ASSISTANTS") "isa")
'isa-x-symbol-enable
'isar-x-symbol-enable)
(equal (getenv "PROOFGENERAL_XSYMBOL") "true"))
|
