Email list for ACL2 and ACL2 Books
development.
Note: There are separate email lists for general ACL2-related announcements, help, etc;
See the
Mailing Lists link on the
ACL2 Web Page for details.
Appropriate topics for this list include:
- Updates to ACL2 or Community Books source code (e.g., commit messages, issue tracker updates, etc.)
- General discussion of ACL2 system- and books-related development.
- Problems or questions about the current development version of ACL2 and the books.
Note: This list receives automatic commit messages for the ACL2 Github project. These messages come from noreply@github.com and generally have [acl2/acl2] in the title. You may wish to configure your email software to filter these messages.