[acl2/acl2] 977d26: [remora] Refactor prettyprinter so it goes through...

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 977d26eabbf7a99f2b6d6bd3cd2fb579a9af9ad1
https://github.com/acl2/acl2/commit/977d26eabbf7a99f2b6d6bd3cd2fb579a9af9ad1
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-22 (Mon, 22 Jun 2026)

Changed paths:
M books/kestrel/remora/package.lsp
M books/kestrel/remora/printer.lisp

Log Message:
-----------
[remora] Refactor prettyprinter so it goes through unicode codepoints. Probably improves layout for some non-ASCII identifiers. Makes upcoming round-trip proofs easier.


Commit: 03fd017016cc56a9f08ac4bff030c2595e428d25
https://github.com/acl2/acl2/commit/03fd017016cc56a9f08ac4bff030c2595e428d25
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-22 (Mon, 22 Jun 2026)

Changed paths:
M books/kestrel/remora/printer.lisp

Log Message:
-----------
[remora] fix some xdoc and add xdoc for macro pdoc-ascii


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

Changed paths:
M books/kestrel/remora/printer.lisp

Log Message:
-----------
[remora] fix more xdoc


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

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