diff options
| -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 |