diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-15 22:47:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-15 22:47:42 +0000 |
| commit | 077f1357124a99ea87e666f9074f2966d846e67f (patch) | |
| tree | aaa05c43e5c21b9ac9555525c526700310a99144 /isar/isar.el | |
| parent | a72719e7a1d95d661ceede447295e67479fa8db4 (diff) | |
proof-shell-interrupts-after-commit: support commit-before-interrupt mode [experimental/temporary].
Diffstat (limited to 'isar/isar.el')
| -rw-r--r-- | isar/isar.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/isar.el b/isar/isar.el index 92ef0b9d..9179c28d 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -139,6 +139,7 @@ See -k option for Isabelle interface script." proof-shell-start-silent-cmd "disable_pr" proof-shell-stop-silent-cmd "enable_pr" proof-shell-trace-output-regexp "\^AI\^AV" + proof-shell-interrupts-after-commit t proof-script-preprocess 'isar-command-wrapping ;; command hooks proof-goal-command-p 'isar-goal-command-p |