From 4820a184d9df2e775cad1fedb332750004876261 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 12 Oct 1999 13:15:09 +0000
Subject: docstring improved

---
 generic/proof-config.el | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index e326fdeb..8b0ccc7a 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -93,9 +93,11 @@ Toolbar buttons can be automatically enabled/disabled according to
 the context.  Set this variable to nil if you don't like this feature
 or if you find it unreliable.
 
-Note: Toolbar enablers are only available with XEmacs 21 and later.
-
-Note 2: If you change this variable it will only be noticed when you 
+Notes: 
+ - Toolbar enablers are only available with XEmacs 21 and later.
+ - With this variable nil, buttons do nothing when they would
+otherwise be disabled.
+ - If you change this variable it will only be noticed when you 
 next start Proof General."
   :type 'boolean
   :group 'proof-general)
-- 
cgit v1.2.3