From 4e0cdecdc3fa43dc07585ac05334bb6c9a3e622a Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 4 Mar 2015 13:17:02 +0000
Subject: Fixed compilation issue with previous commit + CHANGE updates.

---
 CHANGES | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index c99653a4..e73fb502 100644
--- a/CHANGES
+++ b/CHANGES
@@ -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
-- 
cgit v1.2.3