Message to acl2 mailing list:

Date: 20 Aug 2013 13:05:54 -0500
Subject: ACL2 sources availability between releases

To the ACL2 Community:

We have decided to make the ACL2 sources publicly available between
ACL2 releases via svn.  We consider svn distributions of ACL2 to be
experimental; while they will likely be fully functional in most
cases, they could however be incomplete, fragile, and unable to pass
our own regression.  If you decide to use svn "trunk" versions of
either the community books or ACL2, then you should use both, as they
tend to be kept in sync.  See the project websites, as follows.

    ACL2 community books are at the acl2-books project:
    http://acl2-books.googlecode.com

    ACL2 development sources are at the acl2-devel project:
    http://acl2-devel.googlecode.com

These pages discuss how to get relevant email.

We fully expect to continue making periodic ACL2 releases.  While we
will attempt to make each release correspond to a particular svn
revision, we do not make that guarantee.

We thank Jared Davis and David Rager for discussions convincing us to
distribute ACL2 sources via svn between releases, and we are grateful
to Jared for his efforts in setting the new acl2-devel project and svn
repository.

Matt and J