NOTE:
The ACL2 system
and community
books (libraries) are
distributed on
github as a single gzipped tar file or zip file (your choice),
starting with ACL2 Version 7.0.
Below are links to gzipped tar files for to Community Books for ACL2 versions prior to 7.0. Those listed for Versions 6.4 and earlier were hosted at http://acl2-books.googlecode.com/.
books-6.5.tar.gz
:workshops/
workshops-6.5.tar.gz
:workshops/
onlybooks-6.4.tar.gz
:workshops/
workshops-6.4.tar.gz
:workshops/
onlynonstd-6.4.tar.gz
:nonstd/
onlybooks-6.3.tar.gz
:workshops/
workshops-6.3.tar.gz
:workshops/
onlynonstd-6.3.tar.gz
:nonstd/
onlybooks-6.2.tar.gz
:workshops/
workshops-6.2.tar.gz
:workshops/
onlynonstd-6.2.tar.gz
:nonstd/
onlybooks-6.1.tar.gz
:workshops/
workshops-6.1.tar.gz
:workshops/
onlynonstd-6.1.tar.gz
:nonstd/
onlybooks-6.0.tar.gz
:workshops/
workshops-6.0.tar.gz
:workshops/
onlynonstd-6.0.tar.gz
:nonstd/
onlybooks-5.0.tar.gz
:workshops/
workshops-5.0.tar.gz
:workshops/
onlynonstd-5.0.tar.gz
:nonstd/
only