diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2015-03-04 13:17:02 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2015-03-04 13:17:02 +0000 |
commit | 4e0cdecdc3fa43dc07585ac05334bb6c9a3e622a (patch) | |
tree | 07c65e302e0dd41ff7c9a5fafb8bbd48435ee9b9 /CHANGES | |
parent | 3a11cf88c175ac38956f513c8fe465dc39bbc712 (diff) |
Fixed compilation issue with previous commit + CHANGE updates.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -106,6 +106,21 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. Experimental: colorize hypothesis names and some parts of error and warning messages. For readability. +*** mouse Queries + + This remaps standard emacs key bindings (faces and buffers menus + popup), so this is not enabled by default, use (setq + coq-remap-mouse-1 t) to enable. + + - (control mouse-1) on an identifier sends a Print query on that id. + - (shift mouse-1) on an identifier sends a About query on that id. + - (control shift mouse-1) on an identifier sends a Check query on + that id. + + As most of the bindings, they are active in the three buffer + (script, goals, response). + + * Changes of Proof General 4.2 from Proof General 4.1 ** Generic/misc changes |