[acl2/acl2] 270efc: [FTY] Allow XDOC constructors in `defbitstruct`.

[Alessandro Coglio]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 270efc316eb812171fefaa0f210c38d6dd4a9d40
https://github.com/acl2/acl2/commit/270efc316eb812171fefaa0f210c38d6dd4a9d40
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-28 (Thu, 28 May 2026)

Changed paths:
M books/centaur/fty/bitstruct.lisp

Log Message:
-----------
[FTY] Allow XDOC constructors in `defbitstruct`.


Commit: 138259282a81207b8f98b4fb28ccf06ba2a10d30
https://github.com/acl2/acl2/commit/138259282a81207b8f98b4fb28ccf06ba2a10d30
Author: Alessandro Coglio <2409151...@users.noreply.github.com>
Date: 2026-05-29 (Fri, 29 May 2026)

Changed paths:
M books/centaur/fty/bitstruct.lisp

Log Message:
-----------
Merge pull request #1944 from acoglio/mac5

[FTY] Allow XDOC constructors in `defbitstruct`.


Compare: https://github.com/acl2/acl2/compare/d96c777d25f7...138259282a81

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

[Alessandro Coglio]

Branch: refs/heads/master