From 71fd37d36f64eead317623e79c41fea008941d9a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Dec 1998 17:50:26 +0000
Subject: Updated docstring.

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

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 4a0c3e68..5ea63a6d 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -336,7 +336,7 @@ Move point if the end of the locked position is invisible."
   (not (proof-locked-region-full-p)))
 
 (defun proof-toolbar-use ()
-  "Process the whole buffer"
+  "Process the whole buffer."
   (interactive)
   (if (proof-toolbar-use-enable-p)
       (progn
-- 
cgit v1.2.3