diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-16 13:05:20 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-16 13:05:20 +0000 |
| commit | 017d4bc094c0324d23ca30b7ab1f5b42313c02f7 (patch) | |
| tree | a4b73b0d6c4f5482928a743a75864dd2625d2d5b /isar/isar.el | |
| parent | 6a2df321708ad079bb018859a6c916fcb9f95013 (diff) | |
Set proof-shell-interrupts-after-commit = nil
Diffstat (limited to 'isar/isar.el')
| -rw-r--r-- | isar/isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 9179c28d..abb7e5c4 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -139,7 +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-shell-interrupts-after-commit nil ; should be correct, t wrong proof-script-preprocess 'isar-command-wrapping ;; command hooks proof-goal-command-p 'isar-goal-command-p |