From dd927ada6374d8a0c53ad622efc99aa48a71a606 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 3 Sep 1999 15:51:25 +0000
Subject: da: improved comment;

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 276ab23c..556b2f22 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1061,7 +1061,9 @@ Optionally delete the region corresponding to the proof sequence."
     span)))
 
 (defun proof-retract-target (target delete-region)
-  "Retract the span TARGET and delete it if DELETE-REGION is non-nil."
+  "Retract the span TARGET and delete it if DELETE-REGION is non-nil.
+Notice that this necessitates retracting any spans following TARGET,
+up to the end of the locked region."
   (let ((end (proof-locked-end))
 	(start (span-start target))
 	(span (proof-last-goal-or-goalsave))
-- 
cgit v1.2.3