From be0f8150a8f4ffaf9b284ea7dfd39c28612bf8ed Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 17 Aug 2010 11:54:02 +0000
Subject: Clean up handling of pending interrupts, remove experimental
 proof-shell-interrupts-after-commit.

---
 isar/isar.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'isar')

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
-- 
cgit v1.2.3