[acl2/acl2] 8164c8: Update reference.
0 views
Skip to first unread message
Alessandro Coglio
Jul 27, 2026, 9:57:07 PM (2 days ago) Jul 27
to acl2-...@googlegroups.com
Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 8164c8a48182ecab7c26978064d503d4ab9d3495
https://github.com/acl2/acl2/commit/8164c8a48182ecab7c26978064d503d4ab9d3495
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)
Changed paths:
M books/projects/filesystems/utilities/cpp-syntax/package.lsp
Log Message:
-----------
Update reference.
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: 8164c8a48182ecab7c26978064d503d4ab9d3495
https://github.com/acl2/acl2/commit/8164c8a48182ecab7c26978064d503d4ab9d3495
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-27 (Mon, 27 Jul 2026)
Changed paths:
M books/projects/filesystems/utilities/cpp-syntax/package.lsp
Log Message:
-----------
Update reference.
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