From 17014233de0c61597ef002176f76ba8df5aa310c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Sep 1999 17:37:55 +0000
Subject: Updated

---
 CHANGES | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/CHANGES b/CHANGES
index c0c7cb22..703df5b0 100644
--- a/CHANGES
+++ b/CHANGES
@@ -5,12 +5,10 @@ Generic Changes
 ---------------
 
 * New function C-c C-f (proof-find) to invoke some prover-specific
-  mechanism to search for theories.
-  [in progress]
+  mechanism to search for theories.  Also a new toolbar button for it.
 
 * 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