[acl2/acl2] a84f25: [C$] Add forgotten file.
0 views
Skip to first unread message
Alessandro Coglio
Dec 8, 2025, 2:45:12 PM (2 days ago) Dec 8
to acl2-...@googlegroups.com
Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: a84f250f95dface3097fcfcaf8680c18a3b67d5a
https://github.com/acl2/acl2/commit/a84f250f95dface3097fcfcaf8680c18a3b67d5a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-08 (Mon, 08 Dec 2025)
Changed paths:
A books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Add forgotten file.
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: a84f250f95dface3097fcfcaf8680c18a3b67d5a
https://github.com/acl2/acl2/commit/a84f250f95dface3097fcfcaf8680c18a3b67d5a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-08 (Mon, 08 Dec 2025)
Changed paths:
A books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Add forgotten file.
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