[acl2/acl2] 7bab5d: [C$] Fix XDOC.

1 view
Skip to first unread message

Alessandro Coglio

unread,
Mar 18, 2026, 3:49:21 AM (10 days ago) Mar 18
to acl2-...@googlegroups.com
Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 7bab5d1cbb1684c85f9fee5f691becf871456b87
https://github.com/acl2/acl2/commit/7bab5d1cbb1684c85f9fee5f691becf871456b87
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-18 (Wed, 18 Mar 2026)

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

Log Message:
-----------
[C$] Fix XDOC.



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