From af052e58725ed56729ac63cda3aaa902cc8d1852 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 9 Jun 2000 19:08:19 +0000
Subject: Comment

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 48ee05af..486ccef9 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2555,7 +2555,7 @@ Clean up before a script buffer is killed.
 If killing the active scripting buffer, run proof-deactivate-scripting.
 Otherwise just do proof-restart-buffers to delete some spans from memory."
   ;; Deactivate scripting in the current buffer if need be, forcing
-  ;; retraction.
+  ;; automatic retraction if the buffer is not fully processed.
   (unwind-protect
       (if (eq (current-buffer) proof-script-buffer)
 	  (proof-deactivate-scripting 'retract))
-- 
cgit v1.2.3