From 102b133125127681f25d82fbee42d1dd427a59cd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Aug 2002 12:35:38 +0000
Subject: Updated.

---
 CHANGES | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 0af921c7..ba3c4561 100644
--- a/CHANGES
+++ b/CHANGES
@@ -46,7 +46,7 @@ Isabelle you can ask for a graph of the theorem dependencies (thm_deps),
 in Coq you can ask for the proof term to be printed.  
 (Please send us suggestions for other useful features here).
 
-*** Menu improvements (Favourites, options saving)
+*** Menu improvements (favourites, options saving)
 
 Favourites are now more robust.  You can delete them and save them
 when you want.  The PG "quick" options can also be saved separately
@@ -64,6 +64,8 @@ For minor issues, see isa/BUGS.
 You can simply remove the directories from the PG distribution,
 instead of customizing the `proof-assistants' variable.
 
+*** Various efficiency improvements 
+
 
 
 ** Isabelle Changes
-- 
cgit v1.2.3