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 aa658bf3..dde05b03 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -137,7 +137,7 @@ For GNU Emacs, this holds a keymap.") ;;;###autoload (defun proof-toolbar-setup () "Initialize Proof General toolbar and enable it for current buffer. -If proof-mode-use-toolbar is nil, change the current buffer toolbar +If `proof-toolbar-enable' is nil, change the current buffer toolbar to the default toolbar." (interactive) (if |