diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 16:16:53 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 16:16:53 +0000 |
commit | 58472ae80b692c593306003123b19780c4d11838 (patch) | |
tree | 38aff9c0ca5c4d89369926262ecdd9307ff1298f /CHANGES | |
parent | 27116fe22a0ef9b535c23a3163e8dab9d9e3b65e (diff) |
Document query identifier
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -45,7 +45,6 @@ making a keyboard/mouse action. See the manual for more details. - *** Fast buffer processing option Quick Options -> Processing -> Fast Process Buffer This affects 'proof-process-buffer' (C-c C-b, toolbar down). @@ -63,6 +62,9 @@ *** Proof General -> Options menu extended and rearranged - new menu for useful minor modes indicates modes that PG supports +*** New query identifier info button and command (C-c C-i, C-M-mouse1) + These are convenience commands for looking up identifiers in the running prover. + *** New user configuration options (also on Proof General -> Options) proof-colour-locked (use background colour for checked text) proof-auto-raise-buffers (set to nil for manual window control) |