From 40159558764e4688bfed29a9bac6fbbf657d5a61 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Nov 1998 16:30:11 +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 29a1e268..2b6bd70e 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -885,6 +885,7 @@ deletes 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."
   (let ((end (proof-locked-end))
 	(start (span-start target))
 	(span (proof-last-goal-or-goalsave))
-- 
cgit v1.2.3