;;
;; $Id$
;; 

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

(if (string-match "^polyml" (getenv "ML_SYSTEM"))
    (customize-set-variable
     'proof-shell-pre-interrupt-hook
     (lambda () (proof-shell-insert (isar-verbatim "f") nil))))

(let ((xsym (getenv "PROOFGENERAL_XSYMBOL")))
  (cond
   ((equal xsym "true")
    (customize-set-variable 'proof-x-symbol-enable t))
   ((equal xsym "false")
    (customize-set-variable 'proof-x-symbol-enable nil))))