From cf08a6df58c93b6b407d4ca4140a7c2b698f3c46 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Nov 1998 20:02:30 +0000
Subject: Added docstring

---
 generic/proof-script.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 403f1af4..c393855e 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1023,6 +1023,7 @@ the proof script."
       (error "Nothing to undo!"))))
 
 (defun proof-interrupt-process ()
+  "Interrupt the proof assistant.  WARNING! This may confuse Proof General."
   (interactive)
   (if (not (proof-shell-live-buffer))
       (error "Proof Process Not Started!"))
-- 
cgit v1.2.3