Favourites mechanism now fully implemented, I hope.

1 files changed, 0 insertions, 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.