ACL2 Version 2.1 News

This space will be used to post changes to the web page that do not require the construction of a new version of ACL2.

December 7, 1997. Version 2.1 is new. The only important change from Version 2.0 is the addition of the new case-split pragma, similar to force.