From 58472ae80b692c593306003123b19780c4d11838 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 1 Oct 2010 16:16:53 +0000 Subject: Document query identifier --- CHANGES | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 341d38a5..eba64ee2 100644 --- a/CHANGES +++ b/CHANGES @@ -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) -- cgit v1.2.3