From 83e7483c91feb80b3b27531ac230ab1b1289644a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Aug 2002 12:34:49 +0000
Subject: Updated

---
 etc/announce | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/etc/announce b/etc/announce
index b8da4e0f..c0d972d6 100644
--- a/etc/announce
+++ b/etc/announce
@@ -58,10 +58,11 @@ Proof General includes these features, amongst others:
 Summary of changes since 3.3:
 
 . GPL license
+. Improvements to menus, colour schemes
+. Visibility control over portions of proof script
 . In Isabelle: tracing buffers, dependency highlighting
 . In Coq: much improved synchronization (inc sections, nested proofs)
-. Improvements to generic code, instantiation mechanisms.
-. Bug fixes 
+. Bug fixes, efficiency improvements, better generic code.
 . Compatibility improvements: XEmacs 21.4, Emacs 21.2
 
 For details of changes since 3.3, see
-- 
cgit v1.2.3