From 017d4bc094c0324d23ca30b7ab1f5b42313c02f7 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 16 Aug 2010 13:05:20 +0000 Subject: Set proof-shell-interrupts-after-commit = nil --- isar/isar.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'isar/isar.el') 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 -- cgit v1.2.3