diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-11 12:01:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-11 12:01:52 +0000 |
| commit | f0234ca42e432d8178507682a60227f009d30cb3 (patch) | |
| tree | dce0e614fcab213befb9efcb96913f30ddc7cd21 /CHANGES | |
| parent | 668ae7660aed964e957a21f922c6441235237e75 (diff) | |
Elaborate on new settings
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 11 |
1 files changed, 7 insertions, 4 deletions
@@ -1,6 +1,6 @@ -*- outline -*- -* Main Changes for Proof General 4.0 from 3.7.X +* Main Changes for Proof General 4.0 from 3.7.1 ** Generic changes @@ -14,6 +14,7 @@ - output retained for script buffer popups - background colouring for locked region can be disabled - auto raise of prover output buffers can be disabled + - edit on processed region can automatically undo Depending on input language and interaction output, this may enable a "document centred" way of working, when output buffers can be ignored and hidden. @@ -27,9 +28,11 @@ Editing, history and decoration in the shell (*coq*, *isabelle*, etc) are impoverished compared with PG 3.X. -*** New user configuration options - proof-auto-raise-buffers (set to nil for manual control) - proof-full-decoration (add full decoration to input) +*** New user configuration options (also on Proof General -> Options) + proof-auto-raise-buffers (set to nil for manual window control) + proof-full-decoration (add full decoration to input text) + proof-shell-quiet-errors (non-nil to disable beep on error; default=nil) + proof-minibuffer-messages (non-nil to show prover messages; default=nil) *** Removed user configuration options proof-toolbar-use-button-enablers (now always used) |