Date: Tue, 18 Dec 2007 14:23:54 -0600
From: "Jared C. Davis"
To: "ACL2 List"
Subject: ACL2 Books Project

Hi,

We would like to announce a new, community-driven project aimed at
improving the "standard books" which are distributed with ACL2.  To
enable collaboration, we've set up a version control system, a wiki, a
bug tracker, and a mailing list for book developers, all of which are
available here:

 http://acl2-books.googlecode.com/

We'd like to have as many people contributing as much as possible, and
there's a lot of work to do.  Some of our libraries haven't been
improved for years!  And you don't have to be the world's greatest
ACL2 user to make an impact:

 -- Do you have some new books which might be useful to others?
 -- Would you be willing to document some libraries?
 -- Do you know how to clean up or enhance an existing library?
 -- Can you make two libraries work better with one another?
 -- Can you help improve our book organization and eliminate redundancy?

Matt and J have agreed to try to incorporate our improvements into
future ACL2 releases, and although they will not be running the
project, they are enthusiastic and supportive of it.  But in many ways
this is an experiment to determine if there is enough interest and
commitment to make something like this worthwhile.

Everyone is welcome to join our mailing list, and you can always
download our most recent versions of the books without having an
account.  But if you want to be able to submit new code or
documentation, we'll need to add you to the project --- just send an
email to Jared Davis <jared@cs.utexas.edu> or Sol Swords
<sswords@cs.utexas.edu> and we'll be happy to add you.

Thanks,

Jared