[acl2/acl2] 34a655: [Remora] Fix doc.

unread,

Apr 14, 2026, 12:57:53 AM (3 days ago) Apr 14

to acl2-...@googlegroups.com

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 34a655e21455775507b64e660e64600e55b07443
https://github.com/acl2/acl2/commit/34a655e21455775507b64e660e64600e55b07443
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-matching-operations.lisp

Log Message:
-----------
[Remora] Fix doc.

Commit: db2285689bff5ef38514ad60df6d3113162f9431
https://github.com/acl2/acl2/commit/db2285689bff5ef38514ad60df6d3113162f9431
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

Changed paths:
M books/kestrel/remora/type-checking.lisp

Log Message:
-----------
[Remora] Fix XDOC markup.

Compare: https://github.com/acl2/acl2/compare/10c35b3ad3ab...db2285689bff

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

unread,

Apr 14, 2026, 2:33:19 AM (3 days ago) Apr 14

to acl2-...@googlegroups.com

Branch: refs/heads/master

unread,

Apr 14, 2026, 2:33:36 AM (3 days ago) Apr 14

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward