Mentioned proof-mouse-track-insert.

1 files changed, 5 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 6a0b31f8..0c2990c5 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,6 +4,11 @@ Summary of Changes for Proof General 2.2 from 2.1
 Generic Changes
 ---------------
 
+* New function control-button1 (proof-mouse-track-insert) copies 
+  individual commands (highlighted regions) from an open proof.  
+  When a proof is closed, it behaves as mouse-track-insert
+  (default Emacs behaviour of control-button1).  
+
 * New function C-c C-f (proof-find) to invoke some prover-specific
   mechanism to search for theories.  Also a new toolbar button for it.