diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-09-21 11:04:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-09-21 11:04:59 +0000 |
| commit | 794644da7c1a2acd5d3348c4860e5e61ab363a1a (patch) | |
| tree | dc472a93ee3964616a18cc66e897c4c533df984f | |
| parent | 518797c4fe3f0174ff7aca72244b21aadee753ac (diff) | |
Add Document Centred command. Adjust for new menu layout.
| -rw-r--r-- | CHANGES | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -31,15 +31,23 @@ buffers can be ignored and hidden. Use "full annotation" to keep output when several steps are taken. + Standard values for the options can be set in one go with: + Quick Options -> Display -> Document Centred + and the defaults set back with + Quick Options -> Display -> Default. + See the manual for more details. + *** Automatic processing mode - Quick Options -> Send Automatically + Quick Options -> Processing -> Send Automatically Sends commands to the prover when Emacs is idle for a while. This only sends commands when the last processing action has been an action moving forward through the buffer. Interrupt by making a keyboard/mouse action. + See the manual for more details. + *** Fast buffer processing option - Quick Options -> Fast Process Buffer + Quick Options -> Processing -> Fast Process Buffer This affects 'proof-process-buffer' (C-c C-b, toolbar down). It causes commands to be sent to the prover in a tight loop, without updating the display or processing other input. This speeds up |