[acl2/acl2] 52bbd7: [remora] improve xdoc topic name for a deffold-reduce

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 52bbd7610241ef48cf4f8ec6e8ca7b46ef33af0a
https://github.com/acl2/acl2/commit/52bbd7610241ef48cf4f8ec6e8ca7b46ef33af0a
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-05-04 (Mon, 04 May 2026)

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

Log Message:
-----------
[remora] improve xdoc topic name for a deffold-reduce



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