[acl2/acl2] 14eef2: [C$] Fix more typos.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 14eef2d0c900288b8d73f80f5a56df96e0d04d18
https://github.com/acl2/acl2/commit/14eef2d0c900288b8d73f80f5a56df96e0d04d18
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-17 (Wed, 17 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/lexer.lisp

Log Message:
-----------
[C$] Fix more typos.


Commit: feee25a277bc64bdc7b3cdf8c3b0890908f4d950
https://github.com/acl2/acl2/commit/feee25a277bc64bdc7b3cdf8c3b0890908f4d950
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-17 (Wed, 17 Dec 2025)

Changed paths:
M books/std/system/make-mv-let-call.lisp
M books/std/util/defmapping-doc.lisp

Log Message:
-----------
[Std] Fix more typos.


Commit: aaaf7ba750dc1c87eaef7ed1034bd80a60b7a38b
https://github.com/acl2/acl2/commit/aaaf7ba750dc1c87eaef7ed1034bd80a60b7a38b
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-18 (Thu, 18 Dec 2025)

Changed paths:
M books/kestrel/axe/jvm/tester.lisp

Log Message:
-----------
[axe/jvm] Fix message typo.


Commit: 797c43d928bfe18b52ac5238f70948e9ed0da279
https://github.com/acl2/acl2/commit/797c43d928bfe18b52ac5238f70948e9ed0da279
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-18 (Thu, 18 Dec 2025)

Changed paths:
M books/kestrel/helpers/linter.lisp

Log Message:
-----------
[helpers] Fix comment typos.


Commit: 9a0e9986b078d226437d54391a0f53d4fdfdb620
https://github.com/acl2/acl2/commit/9a0e9986b078d226437d54391a0f53d4fdfdb620
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-18 (Thu, 18 Dec 2025)

Changed paths:
M books/kestrel/json-parser/parse-json.lisp

Log Message:
-----------
[json-parser] Fix comment typos.


Commit: c83880b719b2c3af564b2df5fb405be0ec416908
https://github.com/acl2/acl2/commit/c83880b719b2c3af564b2df5fb405be0ec416908
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-18 (Thu, 18 Dec 2025)

Changed paths:
M books/kestrel/apt/rename-calls.lisp

Log Message:
-----------
[apt] Fix comment typo.


Commit: 707076fc71f94c44bcaa7a8c57db1653df6b3117
https://github.com/acl2/acl2/commit/707076fc71f94c44bcaa7a8c57db1653df6b3117
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-18 (Thu, 18 Dec 2025)

Changed paths:
M books/std/testing/assert-bang-stobj.lisp

Log Message:
-----------
[Std/testing] Fix doc typo.


Commit: e7b40ab49bd7710794e34075935733bb103c181a
https://github.com/acl2/acl2/commit/e7b40ab49bd7710794e34075935733bb103c181a
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-18 (Thu, 18 Dec 2025)

Changed paths:
M books/kestrel/c/atc/doc.lisp

Log Message:
-----------
[ATC] Fix typo found by Claude.


Commit: a31d6db3609351ff4342b422e9f7b4d06c8c7dbf
https://github.com/acl2/acl2/commit/a31d6db3609351ff4342b422e9f7b4d06c8c7dbf
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-18 (Thu, 18 Dec 2025)

Changed paths:
M books/coi/bags/cons.lisp
M books/workshops/2004/smith-et-al/support/bags/cons.lisp

Log Message:
-----------
[bags] Fix comment typos.


Commit: 134530620bb18b933dec2b0b098b0b5d0f3e8630
https://github.com/acl2/acl2/commit/134530620bb18b933dec2b0b098b0b5d0f3e8630
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-18 (Thu, 18 Dec 2025)

Changed paths:
M books/std/testing/assert-bang-stobj.lisp

Log Message:
-----------
[Std/testing] Fix comment typo.


Compare: https://github.com/acl2/acl2/compare/2c51ae7fedd1...134530620bb1

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

[acl2buildserver]

Branch: refs/heads/master

Commit: bceb17f3d87d9167c3c4ec7d49b4642d6542f543
https://github.com/acl2/acl2/commit/bceb17f3d87d9167c3c4ec7d49b4642d6542f543
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2025-12-18 (Thu, 18 Dec 2025)

Changed paths:
M books/coi/bags/cons.lisp

M books/kestrel/apt/rename-calls.lisp
M books/kestrel/axe/jvm/tester.lisp
M books/kestrel/c/atc/doc.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/lexer.lisp
M books/kestrel/helpers/linter.lisp
M books/kestrel/json-parser/parse-json.lisp
M books/std/system/make-mv-let-call.lisp
M books/std/testing/assert-bang-stobj.lisp
M books/std/util/defmapping-doc.lisp

M books/workshops/2004/smith-et-al/support/bags/cons.lisp

Log Message:
-----------

Merge commit '134530620bb18b933dec2b0b098b0b5d0f3e8630' into HEAD


Compare: https://github.com/acl2/acl2/compare/1406e049418a...bceb17f3d87d

[acl2buildserver]

Branch: refs/heads/testing