Date: Tue, 5 Jun 2007 11:19:29 -0500

To ACL2 users:

We are happy to announce ACL2 Version 3.2.1.  This incremental release
has been regression tested on five lisps on a Linux platform (Allegro,
CMUCL, GCL, OpenMCL, SBCL) and on two lisps (SBCL and OpenMCL) on Mac
OS X.  The web pages are essentially unchanged except for a new page
for the incremental release; just follow the "Recent changes to this
page" link from the ACL2 home page, or go directly to:

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

When you follow the links you will find a brief summary of the
numerous improvements in this release, including:

- Reduced time for include-book, often by 50% or more
- New debugging features
  - Dynamic monitoring of rewrites
  - Enhancement of accumulated-persistence to suggest "useless" rules
    to disable
- A fix for a soundness bug present in OpenMCL and multi-threaded SBCL
  images

For details on these and other improvements, go to the link above or
simply fetch the new release and see :doc note-3-2-1.

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

Matt and J