[acl2/acl2] d152ab: [C$] Fix XDOC links.
0 views
Skip to first unread message
Alessandro Coglio
Apr 10, 2026, 1:32:12 AM (7 days ago) Apr 10
to acl2-...@googlegroups.com
Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: d152ab7bda3c2ef7993ab519fb9c9f541aafbc4e
https://github.com/acl2/acl2/commit/d152ab7bda3c2ef7993ab519fb9c9f541aafbc4e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/hash-conditional-evaluation.lisp
Log Message:
-----------
[C$] Fix XDOC links.
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: d152ab7bda3c2ef7993ab519fb9c9f541aafbc4e
https://github.com/acl2/acl2/commit/d152ab7bda3c2ef7993ab519fb9c9f541aafbc4e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/hash-conditional-evaluation.lisp
Log Message:
-----------
[C$] Fix XDOC links.
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