diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-12-17 17:50:26 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-17 17:50:26 +0000 |
commit | 71fd37d36f64eead317623e79c41fea008941d9a (patch) | |
tree | 4f39c3a87634b5e5d1795a6c32ad4da5318344c0 /generic/proof-toolbar.el | |
parent | 6f6ad6c69bacb4ae577b3a7ca9774a20da3ee8fc (diff) |
Updated docstring.
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r-- | generic/proof-toolbar.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |