[acl2/acl2] 22b66c: [CPP] Adapt to changes to C$ package.

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 22b66c84d2c38e19ecbb81bd600b6925d0218e81
https://github.com/acl2/acl2/commit/22b66c84d2c38e19ecbb81bd600b6925d0218e81
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-19 (Fri, 19 Jun 2026)

Changed paths:
M books/projects/filesystems/utilities/cpp-syntax/package.lsp

Log Message:
-----------
[CPP] Adapt to changes to C$ package.


Commit: e1ac89851eb88f2b26bfcfd8f37ee1f4e0899c47
https://github.com/acl2/acl2/commit/e1ac89851eb88f2b26bfcfd8f37ee1f4e0899c47
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-19 (Fri, 19 Jun 2026)

Changed paths:
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp

Log Message:
-----------
Merge.


Compare: https://github.com/acl2/acl2/compare/273d7f7658f6...e1ac89851eb8

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications