ACL2 Version 2.8 News
No news at this time.