diff options
| author | David Aspinall | 2010-08-17 11:54:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-17 11:54:02 +0000 |
| commit | be0f8150a8f4ffaf9b284ea7dfd39c28612bf8ed (patch) | |
| tree | 1e8e57e94c5924296fb731420ac28ca07a8966ef /isar | |
| parent | 865b7617135e442672725f9771a17e765488ccdf (diff) | |
Clean up handling of pending interrupts, remove experimental proof-shell-interrupts-after-commit.
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index abb7e5c4..92ef0b9d 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -139,7 +139,6 @@ 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 nil ; should be correct, t wrong proof-script-preprocess 'isar-command-wrapping ;; command hooks proof-goal-command-p 'isar-goal-command-p |