From 041961bff89741daabde66a9a0f2e63feba9a4a3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Sep 1999 15:43:33 +0000
Subject: Updated

---
 CHANGES | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index 69018336..c0c7cb22 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,8 +4,13 @@ Summary of Changes for Proof General 2.2 from 2.1
 Generic Changes
 ---------------
 
-* Toolbar has four new buttons: Show, Context, Info, Command
-  These invoke commands previously available on keys/menus.
+* New function C-c C-f (proof-find) to invoke some prover-specific
+  mechanism to search for theories.
+  [in progress]
+
+* Toolbar has five new buttons (State, Context, Info, Command,
+  Help) which invoke commands previously available on keys/menus.
+  [in progress]
 
 * Toolbar enablers have been added.   
   Buttons are automatically enabled or disabled as appropriate.   
-- 
cgit v1.2.3