From adf9bc400b341c4e1d3bea84fede9839468e6f91 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jan 2008 00:41:04 +0000
Subject: Disable experimental features, finally.

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index e52632d8..6d3853cd 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -335,8 +335,7 @@ This is only useful for PG developers."
   :group 'proof-user-options)
 
 
-(defcustom proof-experimental-features
-  t ;; features classed as experimental have been tested by now
+(defcustom proof-experimental-features nil
   "*Whether to enable certain features regarded as experimental.
 Proof General includes a few features designated as \"experimental\".
 Enabling these will usually have no detrimental effects on using PG,
@@ -344,10 +343,7 @@ 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).
-
-In the current 3.7 release, there are no features classed as experimental
-so this option is set by default."
+suggestions for improvements are welcomed)."
   :type 'boolean
   :group 'proof-user-options)
 
-- 
cgit v1.2.3