[acl2/acl2] 42bb05: [utilities] Improve defmacrodoc.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 42bb05e47e5dfbef84d085ae9eaac0c388ed2750
https://github.com/acl2/acl2/commit/42bb05e47e5dfbef84d085ae9eaac0c388ed2750
Author: Eric Smith <ews...@gmail.com>
Date: 2026-02-09 (Mon, 09 Feb 2026)

Changed paths:
M books/kestrel/utilities/defmacrodoc.lisp

Log Message:
-----------
[utilities] Improve defmacrodoc.

Fix handling of default arguments that are not atoms.



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

[Eric W. Smith]

Branch: refs/heads/master

[Eric W. Smith]

Branch: refs/heads/testing