From 6011f2b9f4b86bbc41f5fb0d428d07a3d2b44da6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Mar 2002 16:33:00 +0000
Subject: Improvement to ACL2

---
 CHANGES | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/CHANGES b/CHANGES
index 1dc375d6..d5001f92 100644
--- a/CHANGES
+++ b/CHANGES
@@ -61,6 +61,11 @@
    Isabelle/Isar syntax changes, other tweaks for Isabelle2002.
 
 
+** Changes for other provers
+
+    - ACL2 improved (now issues undo commands); still experimental and
+      in need of official support.
+
 ** Changes for proof assistant developers to note
   
 *** Improvements in instantiation mechanism
-- 
cgit v1.2.3