From 71df53dce1f8b60058065f0f39b3d8219ef8475b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 12 Oct 1999 13:25:45 +0000
Subject: docstring magic

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

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 8b0ccc7a..187d7efa 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -94,10 +94,10 @@ the context.  Set this variable to nil if you don't like this feature
 or if you find it unreliable.
 
 Notes: 
- - Toolbar enablers are only available with XEmacs 21 and later.
- - With this variable nil, buttons do nothing when they would
+* 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 
+* 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