From 01c80c233e2a27210e3854d2183e464d5e4589c0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 2 Oct 2000 19:11:49 +0000
Subject: Mention Isabelle99-1 change

---
 etc/announce | 1 +
 1 file changed, 1 insertion(+)

diff --git a/etc/announce b/etc/announce
index 2d7b89ec..f349c9a1 100644
--- a/etc/announce
+++ b/etc/announce
@@ -56,6 +56,7 @@ Proof General includes these features, amongst others:
 Summary of changes since 3.1:
 
 . New provers: AF2 (full support) Twelf, ACL2 (experimental support) 
+. Integrated support for Isabelle upgraded for Isabelle99-1 
 . Each proof assistant now has its own menu with specific functions
 . Documentation is now split into user manual and "adapting" manual
 . Improvements in window management
-- 
cgit v1.2.3