[acl2/acl2]

1 view
Skip to first unread message

Eric W. Smith

unread,
Mar 3, 2026, 9:52:01 PMMar 3
to acl2-...@googlegroups.com
Branch: refs/heads/x86isa-ttags
Home: https://github.com/acl2/acl2

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

solswords

unread,
Mar 4, 2026, 10:27:05 AMMar 4
to acl2-...@googlegroups.com
Branch: refs/heads/testing-arm

Eric W. Smith

unread,
Mar 5, 2026, 5:24:50 PMMar 5
to acl2-...@googlegroups.com
Branch: refs/heads/x86isa-includes

Eric W. Smith

unread,
Mar 5, 2026, 5:35:49 PMMar 5
to acl2-...@googlegroups.com
Branch: refs/heads/xdoc-error-for-non-existent-parent

Eric W. Smith

unread,
Mar 10, 2026, 4:48:00 PMMar 10
to acl2-...@googlegroups.com
Branch: refs/heads/xdoc-implementation

Eric W. Smith

unread,
Mar 17, 2026, 2:35:39 AM (11 days ago) Mar 17
to acl2-...@googlegroups.com
Branch: refs/heads/xdoc-missing-parents-error

Eric W. Smith

unread,
Mar 17, 2026, 4:38:40 AM (11 days ago) Mar 17
to acl2-...@googlegroups.com
Branch: refs/heads/emacs-workflow

Alessandro Coglio

unread,
Mar 18, 2026, 4:48:06 PM (10 days ago) Mar 18
to acl2-...@googlegroups.com
Branch: refs/heads/deffold-map

Eric W. Smith

unread,
Mar 24, 2026, 5:06:44 AM (4 days ago) Mar 24
to acl2-...@googlegroups.com
Branch: refs/heads/pubs-books

MattKaufmann

unread,
Mar 27, 2026, 10:40:10 AM (20 hours ago) Mar 27
to acl2-...@googlegroups.com
Branch: refs/tags/8.7

Eric W. Smith

unread,
Mar 27, 2026, 2:18:32 PM (17 hours ago) Mar 27
to acl2-...@googlegroups.com
Branch: refs/heads/r-and-non-r
Reply all
Reply to author
Forward
0 new messages