To ACL2 users: We are happy to announce ACL2 Version 2.9.2. This is an ``incremental release.'' We have tested it thoroughly on four lisps (GCL, Allegro, CMUCL, and CLISP) on a Linux platform and on OpenMCL on a Mac. The web pages are unchanged except for tarballs and such for the new release, which you can find 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-2/. There, you will find tarballs and a brief summary of the numerous improvements in this release. Our intention is that users feel free to ignore incremental releases. Specifically, we are happy to continue to take bug reports on ACL2 Version 2.9 as well as on subsequent incremental releases. Matt and J