isar/interface-setup.el


1
2
3
4
5
6
7
8
9

;;
;; $Id$
;; 

(customize-set-variable
 'isabelle-isar-prog-name
 (concat (getenv "ISABELLE") " " (getenv "PROOFGENERAL_LOGIC")))

(customize-set-variable 'proof-assistant-table '((isar "Isabelle/Isar" "\\.thy$")))