ACL2 Version 2.1 Patch Report
There are no patches for ACL2 Version 2.1.