diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-04-17 21:07:47 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-17 21:07:47 +0000 |
commit | 45fc17dbb4102b6ff9bed51e9163d32df3901b64 (patch) | |
tree | 3738ab2263e231c334369a32c72f6828b6d16031 /doc | |
parent | 408d51967585b6d8399c4e5589f8de72b0475658 (diff) |
Update magic
Diffstat (limited to 'doc')
-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 |