[acl2/acl2] eab753: [FTY/DOCGEN] Added more informative auto generated...

[ltmquan]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: eab753ee0a63e2438a7048436adf5cee93d3150f
https://github.com/acl2/acl2/commit/eab753ee0a63e2438a7048436adf5cee93d3150f
Author: ltmquan <ltmqu...@gmail.com>
Date: 2026-07-06 (Mon, 06 Jul 2026)

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

Log Message:
-----------
[FTY/DOCGEN] Added more informative auto generated doc for fty



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

[acl2buildserver]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: eab753ee0a63e2438a7048436adf5cee93d3150f
https://github.com/acl2/acl2/commit/eab753ee0a63e2438a7048436adf5cee93d3150f
Author: ltmquan <ltmqu...@gmail.com>
Date: 2026-07-06 (Mon, 06 Jul 2026)

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

Log Message:
-----------
[FTY/DOCGEN] Added more informative auto generated doc for fty

Commit: 0de56b25e57faff705647069a843ee6db2bdddb0
https://github.com/acl2/acl2/commit/0de56b25e57faff705647069a843ee6db2bdddb0
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2026-07-06 (Mon, 06 Jul 2026)

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

Log Message:
-----------

Merge commit 'eab753ee0a63e2438a7048436adf5cee93d3150f' into HEAD


Compare: https://github.com/acl2/acl2/compare/65589c5afd2f...0de56b25e57f

[acl2buildserver]

Branch: refs/heads/testing