From 4f8a95e5cfa56888acae5b6847038f5b810d513b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 29 May 2000 19:02:31 +0000
Subject: Favourites mechanism now fully implemented, I hope.

---
 CHANGES | 2 --
 1 file changed, 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index 0ad73e10..f2570d23 100644
--- a/CHANGES
+++ b/CHANGES
@@ -28,8 +28,6 @@
 
 *** Favourites: user-defined commands added proof assistant specific menu
 
-  WORK ONGOING: PRESENTLY INCOMPLETE, DO NOT REPORT!
-
 *** Menu reorganization, including new proof assistant specific menus.  
 
   Specific menus added for Coq, LEGO, Isabelle.
-- 
cgit v1.2.3