diff options
| author | David Aspinall | 2002-08-08 12:16:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-08 12:16:56 +0000 |
| commit | aa6cc389e5620e38904014286d9e9b490ed48687 (patch) | |
| tree | 49d1edc25111e82bb54b798cd57b9fa6cd608e0c | |
| parent | c3223d2457f10cae2553b7d61c0c91c1a9ee837a (diff) | |
Enable exper features for pre-releases automatically.
| -rw-r--r-- | generic/proof-config.el | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index a12ed2e7..f88ac91c 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -315,12 +315,17 @@ you should set `proof-tidy-response' to nil." :type 'boolean :group 'proof-user-options) -(defcustom proof-experimental-features t ;; FIXME: nil for release version +(defcustom proof-experimental-features + ;; Turn on experimental features for pre-releases. + (if (string-match "pre" proof-general-version) t) "*Whether to enable certain features regarded as experimental. -As features are added to proof general but are not entirely robust, -we only enable them if this flag is set. We encourage users to -set this flag and test the features, but being aware that the -features may be buggy (problem reports welcomed)." +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)." :type 'boolean :group 'proof-user-options) |