diff options
| author | David Aspinall | 2008-01-28 19:45:09 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-28 19:45:09 +0000 |
| commit | 4cb1e96a12dccdd6af015d209b5bcbc2e88edb13 (patch) | |
| tree | c7145eda31d2aee4389049c598d0e55a9384d60f /generic | |
| parent | 6175adcd92ea0f04003d6a6cefd3257743d68b2a (diff) | |
Experimental features again only for pre-releases.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 6 |
1 files changed, 1 insertions, 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, |