From 2a586b8dcf72435e3f60bb3e060c942a25daaf45 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Jan 2008 13:07:07 +0000
Subject: Mention no experimental features

---
 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 7f6e6f91..c5feae4f 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -337,7 +337,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).
+
+In the current 3.7 release, there are no features classed as experimental
+so this option is set by default."
   :type 'boolean
   :group 'proof-user-options)
 
-- 
cgit v1.2.3