[acl2/acl2] a01ab5: [C$] Fix typo in doc.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: a01ab5f359d632c9671f701f2e3cc242707686a0
https://github.com/acl2/acl2/commit/a01ab5f359d632c9671f701f2e3cc242707686a0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)

Changed paths:
M books/kestrel/c/syntax/evaluation.lisp

Log Message:
-----------
[C$] Fix typo in doc.


Commit: 5a8eb857c3d77bdfeef6e028b9d688b6eb50e018
https://github.com/acl2/acl2/commit/5a8eb857c3d77bdfeef6e028b9d688b6eb50e018
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)

Changed paths:
M books/kestrel/c/syntax/implementation-environments.lisp

Log Message:
-----------
[C$] Trim superfluous doc.


Commit: bc995e4a67cf89920fa1c6944803f902ac50e25c
https://github.com/acl2/acl2/commit/bc995e4a67cf89920fa1c6944803f902ac50e25c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)

Changed paths:
M books/kestrel/c/syntax/implementation-environments.lisp

Log Message:
-----------
[C$] Improve some doc.


Commit: 0f56681c7554e299baafda758f8935215cdce7ce
https://github.com/acl2/acl2/commit/0f56681c7554e299baafda758f8935215cdce7ce
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-26 (Tue, 26 May 2026)

Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/grammar-rest.abnf
A books/kestrel/c/syntax/grammar/lexemes.abnf
A books/kestrel/c/syntax/grammar/tokens.abnf
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-options.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/stringization.lisp
M books/kestrel/c/syntax/tests/preprocessor-lexer.lisp
M books/kestrel/c/syntax/tests/preprocessor-testing-macros.lisp

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


Compare: https://github.com/acl2/acl2/compare/9bfa39df3399...0f56681c7554

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

[Alessandro Coglio]

Branch: refs/heads/master

[Alessandro Coglio]

Branch: refs/heads/testing