blob: 63d2919625d44282c0f2112cfc269a5e5ededfc3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
;;
;; $Id$
;;
(customize-set-variable
'isabelle-isar-prog-name
(concat (getenv "ISABELLE") " " (getenv "PROOFGENERAL_LOGIC")))
(customize-set-variable 'proof-assistant-table '((lego "LEGO" "\\.l$")(coq "Coq" "\\.v$") (isar "Isabelle/Isar" "\\.thy$")))
(customize-set-variable 'proof-script-indent t)
|