interface-setup.el « isar - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/isar/interface-setup.el

blob: 3cf70b39f8b8d857764d94289dde78df3abdad7b (plain)

;;
;; $Id$
;; 

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