[acl2/acl2] b42009: [Remora] Fix doc typos.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: b42009ef171c86868fe0766d40ad977a58ad23d0
https://github.com/acl2/acl2/commit/b42009ef171c86868fe0766d40ad977a58ad23d0
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-08 (Wed, 08 Apr 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax.lisp
M books/kestrel/remora/top.lisp

Log Message:
-----------
[Remora] Fix doc typos.



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

[Eric W. Smith]

Branch: refs/heads/master

[Eric W. Smith]

Branch: refs/heads/testing

[Alessandro Coglio]

Branch: refs/heads/testing-user-01

Home: https://github.com/acl2/acl2
Commit: b42009ef171c86868fe0766d40ad977a58ad23d0
https://github.com/acl2/acl2/commit/b42009ef171c86868fe0766d40ad977a58ad23d0
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-08 (Wed, 08 Apr 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax.lisp
M books/kestrel/remora/top.lisp

Log Message:
-----------
[Remora] Fix doc typos.

Commit: 170f4f9ea6881a341959e77f57c48077ede00aae
https://github.com/acl2/acl2/commit/170f4f9ea6881a341959e77f57c48077ede00aae
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
A books/kestrel/strings-light/downcase-tests.lisp

Log Message:
-----------
[strings-light] Add tests of downcase utils.

Created by AI and reviewed by me.


Commit: 43d0cb10c1e9d20da86eb335459eabf631e373d1
https://github.com/acl2/acl2/commit/43d0cb10c1e9d20da86eb335459eabf631e373d1
Author: Eric Smith <ews...@gmail.com>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax.lisp

Log Message:
-----------
[Remora] Fix 2 small doc issues.


Commit: 7ce5c03f9d58b6743394e4b66075d09181761418
https://github.com/acl2/acl2/commit/7ce5c03f9d58b6743394e4b66075d09181761418
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/external-preprocessing.lisp
M books/kestrel/c/syntax/files.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/output-files.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/tests/preprocessor-testing-macros.lisp

Log Message:
-----------
[C$] Improve a fixtype field name.


Compare: https://github.com/acl2/acl2/compare/88e83be26b26...7ce5c03f9d58