diff options
| author | David Aspinall | 2002-05-03 13:05:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-05-03 13:05:51 +0000 |
| commit | d27fd2076ef8ad5801c784f7727efcf8a1380637 (patch) | |
| tree | ca60a762497b6072332d22412a2d6a595046b8a1 | |
| parent | 3e82e937b3bb9f9d9ad722aa936cfba4a84f2a88 (diff) | |
Craftily set experimental fetures on for devel release.
| -rw-r--r-- | generic/proof-config.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 29f341bb..7ee5c4c9 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -314,7 +314,7 @@ you should set `proof-tidy-response' to nil." :type 'boolean :group 'proof-user-options) -(defcustom proof-experimental-features nil +(defcustom proof-experimental-features t ;; FIXME: nil for release version "*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 @@ -1584,6 +1584,10 @@ Proof General about the dependencies rather than using this setting." :type 'boolean :group 'proof-shell) +;; (defcustom proof-shell-adjust-line-width-cmd nil + + + |