Email list for ACL2-devel and ACL2-books developers.

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:

Note: This list receives automatic commit messages for the acl2-devel and acl2-books projects.  These messages come from and, respectively.  You may wish to configure your email software to filter these messages.

Showing 1-20 of 4749 topics
[acl2/acl2] 0820d7: Added with-brr-ens, for queries inside :brr to use... GitHub 8:12 PM
[acl2/acl2] 828e96: Made efficiency improvement for certify-book; fixe... GitHub 11/25/15
[acl2/acl2] bc9b5e: Misc. administrative cleanup in books/system/. GitHub 11/24/15
[acl2-books] Should disjoin, disjoin2, conjoin, and conjoin2 be disabled by default? David Rager 11/23/15
[acl2/acl2] 87d593: Small :doc mods GitHub 11/23/15
[acl2/acl2] 230302: Reverted state-free-global-let* and added state-fr... GitHub 11/21/15
[acl2/acl2] 9df530: Quoting :doc note-7-2: GitHub 11/20/15
[acl2/acl2] 4cf277: SVTV decomp hint: Avoid applying the meta rule rep... GitHub 11/20/15
[acl2/acl2] b7fe5b: Put some functions into guard-verified logic mode. GitHub 11/19/15
[acl2/acl2] b060d3: VL: initial support for DPI import/exports GitHub 11/18/15
[acl2/acl2] 6c9469: Added :conjunct and :substitute keywords to print-... GitHub 11/18/15
[acl2/acl2] 9745f1: Add theorem about lists of pseudo-terms. GitHub 11/16/15
[acl2/acl2] f530ab: Added new second argument value :list for show-acc... GitHub 11/15/15
[acl2/acl2] 012fcf: At the request of David Russinoff, added books/pro... GitHub 11/13/15
[acl2/acl2] ca0966: At the request of David Russinoff, updated books/p... GitHub 11/13/15
[acl2/acl2] b25d27: Tweak VL lvalue/assignment parsing, misc cleanup GitHub 11/13/15
[acl2/acl2] f45014: VL: start toward statement tests GitHub 11/12/15
[acl2/acl2] e073a4: Added new hints for using previously-proved termin... GitHub 11/11/15
[acl2/acl2] 799c71: Adding reference example to best practices. GitHub 11/11/15
[acl2/acl2] bb42d4: VL: add support for typedefs as blockitems GitHub 11/11/15
More topics »