[acl2/acl2] 2fac17: Updated a readme.

0 views

Skip to first unread message

unread,

Mar 4, 2026, 5:16:26 PM (8 hours ago) Mar 4

to acl2-...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 2fac17700aa05e5243d2fbf08e723010fb5e0c43
https://github.com/acl2/acl2/commit/2fac17700aa05e5243d2fbf08e723010fb5e0c43
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-03-04 (Wed, 04 Mar 2026)

Changed paths:
M books/projects/acl2-in-hol/README-acl2

Log Message:
-----------
Updated a readme.

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

unread,

Mar 4, 2026, 5:17:35 PM (8 hours ago) Mar 4

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages