[acl2/acl2] 2fbc9f: [terms-light] add simple-untranslate-in-term

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 2fbc9ff0c8e5c9973cba459fb839fd787e7e0541
https://github.com/acl2/acl2/commit/2fbc9ff0c8e5c9973cba459fb839fd787e7e0541
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-23 (Tue, 23 Jun 2026)

Changed paths:
A books/kestrel/terms-light/doc.lisp
A books/kestrel/terms-light/reconstruct-and-untranslate-term-tests.lisp
A books/kestrel/terms-light/reconstruct-and-untranslate-term.lisp
A books/kestrel/terms-light/simple-untranslate-in-term-proofs.lisp
A books/kestrel/terms-light/simple-untranslate-in-term-tests.lisp
A books/kestrel/terms-light/simple-untranslate-in-term.lisp

Log Message:
-----------
[terms-light] add simple-untranslate-in-term


Commit: a42412fd5fedef0f5cea871a6427d75f7d86bee1
https://github.com/acl2/acl2/commit/a42412fd5fedef0f5cea871a6427d75f7d86bee1
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-23 (Tue, 23 Jun 2026)

Changed paths:
M books/kestrel/top-doc.lisp

Log Message:
-----------
[terms-light] connect xdoc to manual


Commit: b01b45d43f21611b863f07895452c9ea9de20d4d
https://github.com/acl2/acl2/commit/b01b45d43f21611b863f07895452c9ea9de20d4d
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-23 (Tue, 23 Jun 2026)

Changed paths:
A books/kestrel/terms-light/doc.acl2
M books/kestrel/terms-light/doc.lisp

Log Message:
-----------
[terms-light] load C portcullis so doc reference works


Commit: ffa75ee4b479e0f30ffed4a873e9d5a03a2b1103
https://github.com/acl2/acl2/commit/ffa75ee4b479e0f30ffed4a873e9d5a03a2b1103
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-23 (Tue, 23 Jun 2026)

Changed paths:
M books/kestrel/terms-light/doc.lisp
M books/kestrel/terms-light/top.lisp

Log Message:
-----------
[terms-light] add more xdoc for terms-light utilities; include new files (except doc.lisp) in top.lisp


Compare: https://github.com/acl2/acl2/compare/cd0f0951a7da...ffa75ee4b479

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

[Eric McCarthy]

Branch: refs/heads/master

[Eric McCarthy]

Branch: refs/heads/testing