From 607a970309d0fdb47e0ac3df2f49cd6d59731861 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 30 Aug 2001 14:37:59 +0000
Subject: Add reassurance to interrupt warning to make Markus happier.

---
 generic/proof-shell.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 94bee243..9fd176ab 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -834,7 +834,8 @@ Then we call `proof-shell-error-or-interrupt-action', which see."
    'proof-error-face)
 ;  (proof-display-and-keep-buffer proof-response-buffer)
   (proof-warning 
-   "Interrupt: script management may be in an inconsistent state")
+   "Interrupt: script management may be in an inconsistent state
+           (but it's probably okay)")
   (proof-shell-error-or-interrupt-action 'interrupt))
 
 (defun proof-shell-error-or-interrupt-action (&optional err-or-int)
-- 
cgit v1.2.3