diff options
| author | David Aspinall | 2008-01-29 09:48:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-29 09:48:07 +0000 |
| commit | 7c81d76b3277256f596ed7cd102ab9fbff4d98ff (patch) | |
| tree | 4029c0720c6673bead0bf90bee15103eb4b5ae28 /generic/proof-config.el | |
| parent | df953a00561ee47fbb2ca09c1985a67f47591fb3 (diff) | |
Move proof-experimental-features back and make it constant.
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 047a5d30..e52632d8 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -334,6 +334,23 @@ This is only useful for PG developers." :type 'boolean :group 'proof-user-options) + +(defcustom proof-experimental-features + t ;; features classed as experimental have been tested by now + "*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) + ;;; NON BOOLEAN OPTIONS (defcustom proof-follow-mode 'locked |