This page has been replaced by the
ccl-updates
page in the ACL2 documentation.