diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-30 00:41:04 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-30 00:41:04 +0000 |
commit | adf9bc400b341c4e1d3bea84fede9839468e6f91 (patch) | |
tree | 6cdaee6d1d24323c4b3ed08d6eda0af91b4c540c /generic | |
parent | bc92de64a2589499275b9545ef614e0895eef30f (diff) |
Disable experimental features, finally.
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-config.el | 8 |
1 files 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) |