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

about summary refs log tree commit diff homepage

path: root/isa/interface-setup.el

blob: fce64173fe9fdf4c698444e8a26c9eca312aa118 (plain)

;;
;; $Id$
;; 

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