aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/isa.el
diff options
context:
space:
mode:
Diffstat (limited to 'isa/isa.el')
-rw-r--r--isa/isa.el4
1 files changed, 4 insertions, 0 deletions
diff --git a/isa/isa.el b/isa/isa.el
index db974ac8..c4d72822 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -145,6 +145,10 @@ and script mode."
proof-state-preserving-p 'isa-state-preserving-p
proof-parse-indent 'isa-parse-indent
proof-stack-to-indent 'isa-stack-to-indent
+
+ ;; close goal..save regions eagerly
+ proof-completed-proof-behaviour 'closeany
+
proof-shell-compute-new-files-list 'isa-shell-compute-new-files-list
proof-shell-inform-file-processed-cmd "ProofGeneral.inform_file_processed \"%s\";"
proof-shell-inform-file-retracted-cmd "ProofGeneral.inform_file_retracted \"%s\";"))