ACL2 Version 3.2.1 News
No news is good news! Please see the
ACL2 Version 3.2 news
for information about the last non-incremental release.