From 7c81d76b3277256f596ed7cd102ab9fbff4d98ff Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 Jan 2008 09:48:07 +0000
Subject: Move proof-experimental-features back and make it constant.

---
 generic/pg-custom.el | 21 ---------------------
 1 file changed, 21 deletions(-)

(limited to 'generic/pg-custom.el')

diff --git a/generic/pg-custom.el b/generic/pg-custom.el
index b73ef30e..2f9ef2f4 100644
--- a/generic/pg-custom.el
+++ b/generic/pg-custom.el
@@ -182,27 +182,6 @@ http://proofgeneral.inf.ed.ac.uk/trac"
   :type 'file
   :group 'prover-config)
 
-;;;
-;;; Experimental features: not a per-prover settings,
-;;; but initialised here because of default value's
-;;;; dependency on proof-general-version
-
-(defcustom proof-experimental-features
-  (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,
-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."
-  :type 'boolean
-  :group 'proof-user-options)
-
 
 
 (provide 'pg-custom)
-- 
cgit v1.2.3