[acl2/acl2] 784c3c: [remora] improve xdoc

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 784c3c312938a0d335b97d566de2121f0e6cf96b
https://github.com/acl2/acl2/commit/784c3c312938a0d335b97d566de2121f0e6cf96b
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-05-06 (Wed, 06 May 2026)

Changed paths:
A books/kestrel/remora/cert.acl2
A books/kestrel/remora/concrete-syntax-trees.lisp
A books/kestrel/remora/concrete-syntax.lisp
M books/kestrel/remora/grammar.lisp
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/parse-directory-files.lisp
M books/kestrel/remora/parser-interface.lisp
M books/kestrel/remora/parser.lisp
A books/kestrel/remora/parsing-and-printing.acl2
A books/kestrel/remora/parsing-and-printing.lisp
M books/kestrel/remora/post-parsing.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/top.lisp

Log Message:
-----------
[remora] improve xdoc



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