From c346b3ba975f4c20342a6971d3afbec3a25dc177 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 17 Mar 2003 16:19:52 +0000
Subject: Documentation.

---
 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 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
-- 
cgit v1.2.3