[acl2/acl2] e4cd8b: Synch doc.lisp etc.

[MattKaufmann]

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

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

Log Message:
-----------
Synch doc.lisp etc.



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

[MattKaufmann]

Branch: refs/heads/testing