From dde59190b10c60c7169530d57a90dfb8f8b8c97f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Aug 2002 09:47:14 +0000
Subject: Docstring

---
 generic/proof-config.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 2d94639e..cae2de61 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -325,7 +325,10 @@ but the features themselves may be buggy.
 
 We encourage users to set this flag and test the features, but being
 aware that the features may be buggy (problem reports and 
-suggestions for improvements are welcomed)."
+suggestions for improvements are welcomed).
+
+By default, experimental features are turned on in development
+releases and turned off in stable releases."
   :type 'boolean
   :group 'proof-user-options)
 
-- 
cgit v1.2.3