blob: 736cda576232959c8b5b96c4202aac3abccccade (
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")))
(if (string-match "^polyml" (getenv "ML_SYSTEM"))
(customize-set-variable
'proof-shell-pre-interrupt-hook
(lambda () (proof-shell-insert (isar-verbatim "f") nil))))
|