Date: 1 Aug 2006 22:54:31 -0500
From: Matt Kaufmann
To: acl2 mailing list
Subject: ACL2 3.0.1 release

Hello --

We are happy to announce the release of ACL2 Version 3.0.1.  To obtain it, just
follow the "Recent Changes" link on the ACL2 home page, or go directly to:

http://www.cs.utexas.edu/users/moore/acl2/v3-0/new/v3-0-1/

(The ACL2 web pages are otherwise unchanged for this incremental release.)

Version 3.0.1 has quite a few improvements since Version 3.0, including (but
not limited to):

- fixes for a soundness bug and other bugs;
- a time-limit feature;
- a capability for making certify-book compile executable counterparts;
- some significant efficiency improvements (regression suite took about 80% of
  the time it took with ACL2 3.0 using a GCL-based executable; much bigger time
- and space savings on some other books; somewhat less for other Lisps);
- a utility for debugging failed encapsulate and progn events; and
- other improvements.

Performance statistics for Linux, using several different Common Lisp
implementations, may be found on the above page.  We have also done a full
regression test using OpenMCL on Mac OS X.

Thank you to everyone who has contributed to the success of ACL2.

Matt and J