[acl2/acl2] fef548: [C$] Export more symbols.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: fef54874785bd77bc628ddc3652291ea36be4905
https://github.com/acl2/acl2/commit/fef54874785bd77bc628ddc3652291ea36be4905
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-19 (Fri, 19 Jun 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp

Log Message:
-----------
[C$] Export more symbols.


Commit: c47f381a7d85190702b4f3215af3b0d659285bb2
https://github.com/acl2/acl2/commit/c47f381a7d85190702b4f3215af3b0d659285bb2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-19 (Fri, 19 Jun 2026)

Changed paths:
M books/kestrel/c/transformation/struct-safety-checks.lisp

Log Message:
-----------
[safestruct] Fix XDOC links.


Compare: https://github.com/acl2/acl2/compare/3e6aef89a2a6...c47f381a7d85

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