proof-mouse-track-insert only seems to work on XEmacs

1 files changed, 10 insertions, 6 deletions

diff --git a/CHANGES b/CHANGES
index 0c2990c5..81ebe3d5 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,20 +4,24 @@ Summary of Changes for Proof General 2.2 from 2.1
 Generic Changes
 ---------------
 
-* New function control-button1 (proof-mouse-track-insert) copies 
+* [XEmacs only]
+  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).  
+  (default XEmacs 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.
+  mechanism to search for theories.  
 
-* Toolbar has five new buttons (State, Context, Info, Command,
-  Help) which invoke commands previously available on keys/menus.
+* [XEmacs only] Toolbar has five new buttons (State, Context, Info, 
+  Command, Help) which invoke commands previously available on keys/menus.
+  Also a new "Find" button for proof-find.
 
-* Toolbar enablers have been added.   
+* [XEmacs only] Toolbar enablers have been added.   
   Buttons are automatically enabled or disabled as appropriate.   
   This requires XEmacs 20.4 or better for reliable working.  
+  
 
 * Menus and keybindings have been reorganized.  
   Now keybindings invoke same functions as toolbar.