From 4cb1e96a12dccdd6af015d209b5bcbc2e88edb13 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jan 2008 19:45:09 +0000
Subject: Experimental features again only for pre-releases.

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 9b9aaddb..22a0f463 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -328,11 +328,7 @@ This is only useful for PG developers."
   :group 'proof-user-options)
 
 (defcustom proof-experimental-features
-  ;; Turn on experimental features for pre-releases.
-  ;; (if (string-match "pre" proof-general-version) t)
-  t  ;; Version 3.7: features classed as experimental have
-     ;; actually been tested for a while, so we enable them.
-     ;; To disable, customise this to nil
+  (if (string-match "pre" proof-general-version) t)
   "*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,
-- 
cgit v1.2.3