From 45fc17dbb4102b6ff9bed51e9163d32df3901b64 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 17 Apr 2004 21:07:47 +0000
Subject: Update magic

---
 doc/ProofGeneral.texi | 3 +--
 1 file changed, 1 insertion(+), 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
-- 
cgit v1.2.3