diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 16:50:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-02 16:50:35 +0000 |
| commit | b33e3f1c7f799aa3e0f3c70e023fa6a50cb308ad (patch) | |
| tree | 761e4d3bce3e84ba286e488a63be1ed5fdef2f87 | |
| parent | e6eaf6f564057a099f25d705c859e73fb24a8ecd (diff) | |
Turn on experimental features for 3.5. Adjust display settings.
| -rw-r--r-- | generic/proof-config.el | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 03035cc3..0d08f89e 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -171,7 +171,7 @@ you a reprimand!)." :group 'proof-user-options) -(defcustom proof-three-window-mode nil +(defcustom proof-three-window-enable nil "*Whether response and goals buffers have dedicated windows. If non-nil, Emacs windows displaying messages from the prover will not be switchable to display other windows. @@ -185,11 +185,9 @@ Emacs automatically resizing windows between proof steps. If you use several frames (the same Emacs in several windows on the screen), you can force a frame to stick to showing the goals or -response buffer. - -For single frame use this option may be inconvenient for -experienced Emacs users." +response buffer." :type 'boolean + :set 'proof-set-value :group 'proof-user-options) (defcustom proof-multiple-frames-enable nil @@ -311,7 +309,9 @@ you should set `proof-tidy-response' to nil." (defcustom proof-experimental-features ;; Turn on experimental features for pre-releases. - (if (string-match "pre" proof-general-version) t) + ;; (if (string-match "pre" proof-general-version) t) + t ;; Version 3.5: features classed as experimental have + ;; actually been tested for a while, so we enable them. "*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, @@ -319,10 +319,7 @@ 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). - -By default, experimental features are turned on in development -releases and turned off in stable releases." +suggestions for improvements are welcomed)." :type 'boolean :group 'proof-user-options) |