Date: 2 Feb 2006 08:30:55 -0600
From: Matt Kaufmann <kaufmann@cs.utexas.edu>
To: acl2@lists.cc.utexas.edu
Subject: ACL2 2.9.4 release

To ACL2 users:

We are happy to announce ACL2 Version 2.9.4.  This incremental release has been
regression tested on six lisps on a Linux platform (Allegro, CLISP, CMUCL, GCL,
LispWorks, SBCL), on two lisps (GCL and OpenMCL) on Mac OS X, and on GCL on
Windows.  The web pages are unchanged except for tarballs with links you will
see by following the "Recent changes to this page" link from the ACL2 home
page; or go directly to:

http://www.cs.utexas.edu/users/moore/acl2/v2-9/new/v2-9-4/.

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

Although we will accept bug reports back through ACL2 Version 2.9, we strongly
recommend the use of this new version, 2.9.4.

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

Matt and J