From d0e4829ebc24314e458a198e62ac4d74dfca22b7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 17:26:24 +0000
Subject: Mention ACL2 too

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

diff --git a/etc/announce b/etc/announce
index eda0171e..2d7b89ec 100644
--- a/etc/announce
+++ b/etc/announce
@@ -55,14 +55,14 @@ Proof General includes these features, amongst others:
 
 Summary of changes since 3.1:
 
-. Support for new provers: AF2 (full) Twelf (in progress) 
+. New provers: AF2 (full support) Twelf, ACL2 (experimental support) 
 . 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
 . New commands, including parsing of error messages 
 . Efficiency improvements
-. Internal improvements: more flexible parsing and easier configuration
 . Several bug fixes 
+. Internal improvements: more flexible parsing and easier configuration
 . For details, see http://www.proofgeneral.org/ProofGeneral-3.2/CHANGES
 
 The user manual contains full details, and is available on-line at: 
-- 
cgit v1.2.3