diff options
author | 2001-09-04 16:36:24 +0000 | |
---|---|---|
committer | 2001-09-04 16:36:24 +0000 | |
commit | e4e9f4ffddd3d72899feef7c9400b5bd78704605 (patch) | |
tree | 390111a39cd83ba6c7ff144a04e12b312442c0be /generic | |
parent | 6b49ee45b2cc1cbb8bcf7ed87ebdadc763bc9df9 (diff) |
Add experimental features setting
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-config.el | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index b581890a..9b87945c 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -305,6 +305,15 @@ you should set `proof-tidy-response' to nil." :type 'boolean :group 'proof-user-options) +(defcustom proof-experimental-features nil + "*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)." + :type 'boolean + :group 'proof-user-options) + ;;; NON BOOLEAN OPTIONS (defcustom proof-follow-mode 'locked |