[acl2/acl2] 640a7b: [Std/basic] Add XDOC parent.
1 view
Skip to first unread message
Alessandro Coglio
Mar 17, 2026, 8:10:13 AM (11 days ago) Mar 17
to acl2-...@googlegroups.com
Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 640a7b1173d92196f0cf79727c47fa45000370a2
https://github.com/acl2/acl2/commit/640a7b1173d92196f0cf79727c47fa45000370a2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-17 (Tue, 17 Mar 2026)
Changed paths:
M books/std/basic/yyyjoin.lisp
Log Message:
-----------
[Std/basic] Add XDOC parent.
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: 640a7b1173d92196f0cf79727c47fa45000370a2
https://github.com/acl2/acl2/commit/640a7b1173d92196f0cf79727c47fa45000370a2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-17 (Tue, 17 Mar 2026)
Changed paths:
M books/std/basic/yyyjoin.lisp
Log Message:
-----------
[Std/basic] Add XDOC parent.
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