[acl2/acl2] 9a661f: [axe/arm] Extend package.

0 views

Skip to first unread message

unread,

Aug 18, 2026, 4:24:48 PM (yesterday) Aug 18

to acl2-...@googlegroups.com

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 9a661f635c0e2a7b7c8e444845870c98bf4acfbe
https://github.com/acl2/acl2/commit/9a661f635c0e2a7b7c8e444845870c98bf4acfbe
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-18 (Tue, 18 Aug 2026)

Changed paths:
M books/kestrel/axe/arm/package.lsp

Log Message:
-----------
[axe/arm] Extend package.

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

Reply all

Reply to author

Forward

0 new messages