From 051eff949801553fe88e7d35c3edc2663e9427a3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 1999 15:48:25 +0000
Subject: Mentioned proof-mouse-track-insert.

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

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.
 
-- 
cgit v1.2.3