From bb29430d1c69ae8ae19127c8ea338b3070139e9d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Dec 1998 10:59:30 +0000
Subject: Changed name of proof-toolbar-inhibit variable for uniformity.

---
 doc/ProofGeneral.texi | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index cdf87e6d..82d0a932 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1538,11 +1538,11 @@ The protocol used should be configured so that no user interaction
 The default value is @code{""}.
 @end defopt
 
-@c TEXI DOCSTRING MAGIC: proof-toolbar-wanted
-@defopt proof-toolbar-wanted 
-Whether to use toolbar in proof mode.
+@c TEXI DOCSTRING MAGIC: proof-toolbar-inhibit
+@defopt proof-toolbar-inhibit 
+Non-nil prevents toolbar being used for script buffers.
 
-The default value is @code{t}.
+The default value is @code{nil}.
 @end defopt
 
 
-- 
cgit v1.2.3