[acl2/acl2] 3fb8d0: Made small improvements in :DOC note-8-7.

0 views
Skip to first unread message

MattKaufmann

unread,
Dec 15, 2025, 10:38:43 AM (yesterday) Dec 15
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 3fb8d08a7ce784c2b183a06213c908ff32c6d5d6
https://github.com/acl2/acl2/commit/3fb8d08a7ce784c2b183a06213c908ff32c6d5d6
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-12-15 (Mon, 15 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:
-----------
Made small improvements in :DOC note-8-7.



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

MattKaufmann

unread,
Dec 15, 2025, 10:39:48 AM (yesterday) Dec 15
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages