[acl2/acl2] 1ec2da: Clarified in :DOC defttag that there is at most on...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 1ec2dac601ef8b6ef0ca8852085d402bc8ad38bd
https://github.com/acl2/acl2/commit/1ec2dac601ef8b6ef0ca8852085d402bc8ad38bd
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-07-26 (Sun, 26 Jul 2026)

Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt

Log Message:
-----------
Clarified in :DOC defttag that there is at most one active ttag at a time.

Thanks to Eric Smith for suggestion that such a clarification could be
useful.



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

[MattKaufmann]

Branch: refs/heads/testing