From kaufmann Thu Aug 4 16:39:43 -0500 2005 From: Matt Kaufmann To: acl2@lists.cc.utexas.edu Subject: ACL2 2.9.3 release To ACL2 users: We are happy to announce ACL2 Version 2.9.3. This is an ``incremental release,'' regression tested on four lisps on a Linux platform (GCL, Allegro, CMUCL, CLISP) and on OpenMCL on Mac OS X. 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-3/. 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.3. Matt and J