From 9985c079f54f45020bdd5582b120ad0283a99b60 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 1 Oct 1999 11:34:10 +0000
Subject: Removed dubious 'dont own process' error in proof-interrupt-process.

---
 generic/proof-script.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/generic/proof-script.el b/generic/proof-script.el
index c2fdba57..e6938743 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1238,8 +1238,9 @@ the proof script."
   (interactive)
   (if (not (proof-shell-live-buffer))
       (error "Proof Process Not Started!"))
-  (if (not (eq (current-buffer) proof-script-buffer))
-      (error "Don't own process!"))
+  ; 1.10.99 da: removed this test, it seems silly.
+  ; (if (not (eq (current-buffer) proof-script-buffer))
+  ;    (error "Don't own process!"))
   (if (not proof-shell-busy)
       (error "Proof Process Not Active!"))
   (save-excursion
-- 
cgit v1.2.3