ACL2 Version 8.0 News
Table of Contents
Changelogs
The "changelogs" for ACL2 are in
  the release-notes
  topics of the manuals.  In particular, there
  are release
  notes for Version 8.0.
ACL2 sources availability between releases
ACL2 sources are available between releases at
    the ACL2 GitHub
    Repository.
VSTTE 2012 Competition
A team of four ACL2 users entered the VSTTE 2012 competition.  For
  information, including the team's solution, visit
  this link.
ACL2 Books Repository
The acl2-books Google
group allows you to contribute ACL2 books (input files), and also
to update to the latest version if you don't want to wait for the next
ACL2 release.  Quoting from that web site:
This site is for community-driven development for the basic ACL2 libraries,
which deal with topics like arithmetic, data structures, and hardware
modelling. We're working with the authors of ACL2 and our changes are
eventually incorporated into official ACL2 releases.
Performance Comparisons
To appear
  at this
  page on the web.