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:

Note: This list receives automatic commit messages for the ACL2 Github project.  These messages come from and generally have [acl2/acl2] in the title.  You may wish to configure your email software to filter these messages.

Showing 1-20 of 5436 topics
[acl2/acl2] e307fc: Cause error on syntax errors when building ACL2+bo... noreply 1/20/17
GL counterexample handler problem Andrew Brock 1/20/17
[acl2/acl2] b63621: Simplified the definition of ev$! for the apply bo... noreply 1/18/17
[acl2/acl2] 37cf7f: Improved error messages from exceeding the call de... noreply 1/18/17
[acl2/acl2] 156724: Extend svtv-run theorems to other keyword args noreply 1/17/17
[acl2/acl2] f53676: Added :doc xdoc::save-rendered (requested by Eric ... noreply 1/13/17
[acl2/acl2] 9fd1f7: Tweaked :doc acl2-doc thanks to (further) input fr... noreply 1/12/17
[acl2/acl2] 889706: Fixed some out-of-date comments in GNUmakefile. F... noreply 1/12/17
[acl2/acl2] bcb0a6: Avoid a possibly-undefined function in acl2-doc. ... noreply 1/12/17
[acl2/acl2] 300197: Fixed an anomaly in Emacs command control-t contro... noreply 1/11/17
[acl2/acl2] 046510: Tweaked the expander to avoid special handling of ... noreply 1/10/17
[acl2/acl2] 4d3b1d: Fixed some :doc untranslate issues pointed out by ... noreply 1/9/17
[acl2/acl2] 530416: Paco: Port recent fix of disabling compound-recogn... noreply 1/9/17
[acl2/acl2] f47e15: Print non-Boolean masks on a separate line noreply 1/9/17
[acl2/acl2] 84222b: Fixed bugs in tracking and disabling compound-reco... noreply 1/8/17
[acl2/acl2] d667a7: Paco: remove trailing blanks noreply 1/6/17
[acl2/acl2] 5d26ac: Incorporated new parser for stobj-based lrat check... noreply 1/6/17
[acl2/acl2] 4ce6d7: SVTVs: add conditional override entry type noreply 1/6/17
[acl2/acl2] 7514e9: Synched doc.lisp noreply 1/5/17
[acl2/acl2] 6ad4f5: Documented default-state-vars noreply 1/5/17
More topics »