diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-03-17 16:19:52 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-03-17 16:19:52 +0000 |
commit | c346b3ba975f4c20342a6971d3afbec3a25dc177 (patch) | |
tree | f8d6f0194ff1f3f451d7d65392d91aac22543bdf /generic | |
parent | 50febc7f03ff1660061b45a7fbc0fb22d448b894 (diff) |
Documentation.
Diffstat (limited to 'generic')
-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 |