[acl2/acl2] fd7f61: Incorporated more :DOC topic improvements from J, ...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: fd7f618d2ed2e141f8f518822daf00654a4a2377
https://github.com/acl2/acl2/commit/fd7f618d2ed2e141f8f518822daf00654a4a2377
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-12-09 (Tue, 09 Dec 2025)

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

Log Message:
-----------
Incorporated more :DOC topic improvements from J, especially regarding expressions (loop$ do ...).



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

[MattKaufmann]

Branch: refs/heads/testing