From 21449fb10a733a67fe8cf39066db526a68981642 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 10:47:05 +0000
Subject: summarize changes since 2.1

---
 etc/announce | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/etc/announce b/etc/announce
index 67b2997a..01672d3f 100644
--- a/etc/announce
+++ b/etc/announce
@@ -63,10 +63,17 @@ Isabelle.  It includes these features (amongst others):
 
 Script management is the main feature.  
 
+Summary of changes since 2.1:
+
+ . Six new toolbar buttons, enabled depending on context
+ . Reorganized and improved menus 
+ . New function to search for theorems 
+ . Lots more fine-grained improvements, for full details
+   http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/CHANGES
+
 The user manual contains full details, and is available on-line at: 
 http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/doc/ProofGeneral_toc.html
 
-
 The rest of this announcement contains notes addressed to different
 user communities: LEGO, Coq, and Isabelle; users of other proof
 assistants, user-interface/theorem-proving researchers and, finally,
-- 
cgit v1.2.3