diff options
| -rw-r--r-- | doc/ProofGeneral.texi | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index e9594aa5..060baa59 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -2713,8 +2713,7 @@ The default value is @code{nil}. @c TEXI DOCSTRING MAGIC: proof-toolbar-enable @defopt proof-toolbar-enable -If non-nil, display Proof General toolbar for script buffers.@* -NB: the toolbar is only available with XEmacs and GNU Emacs>=21. +If non-nil, display Proof General toolbar for script buffers. The default value is @code{t}. @end defopt |