acl2-books

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 noreply@github.com and generally have [acl2/acl2] in the title.  You may wish to configure your email software to filter these messages.



Showing 1-20 of 5735 topics
[acl2/acl2] f9f2d7: Merge pull request #746 from acl2/testing noreply 6/24/17
[acl2/acl2] 0a5993: Add ABNF as subtopic of PROJECTS. noreply 6/24/17
[acl2/acl2] 56d9b4: Added improved versions (manage-screen-output, man... noreply 6/24/17
[acl2/acl2] ec2595: Improved :doc make-event to better reflect legalit... noreply 6/24/17
[acl2/acl2] cbd9cf: Suppress output from er-soft-logic and er-soft+ wh... noreply 6/23/17
[acl2/acl2] bd8dfc: the acc enum for range types now features a more i... noreply 6/23/17
[acl2/acl2] 35d103: Make a defthm local in ordinals/lexicographic-book noreply 6/22/17
[acl2/acl2] 50a4b5: Improved :doc ctx to mention *fmt-ctx-spacers*. F... noreply 6/22/17
[acl2/acl2] bb366b: fix typos noreply 6/20/17
[acl2/acl2] eec9bb: :Doc tweaks noreply 6/20/17
[acl2/acl2] d16ef8: Fix XDOC errors noreply 6/20/17
[acl2/acl2] 9a093b: Fix typos in X86ISA decoding tables. noreply 6/20/17
[acl2/acl2] 34792c: Added release note for my preceding commit (which ... noreply 6/19/17
[acl2/acl2] 6f6a4c: Improve output of TAILREC transformation. noreply 6/19/17
[acl2/acl2] a9160d: Cleaned up error output, for example from macros l... noreply 6/19/17
[acl2/acl2] 75d840: Improved directed-untranslate for executability of... noreply 6/13/17
[acl2/acl2] a5a3d1: VL preprocessor: make it easier to trace through `... noreply 6/13/17
[acl2/acl2] 1de85e: Fix typos in comments. noreply 6/12/17
[acl2/acl2] 9266b9: Improved handling of contradictions by tau (thanks... noreply 6/11/17
[acl2/acl2] 00403f: Fixed issue with error messages for stobj violatio... noreply 6/11/17
More topics »