[acl2/acl2] cc2836: Synched doc.lisp etc.

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: cc283622a1a3b68e00662e6e06dd995841487753
https://github.com/acl2/acl2/commit/cc283622a1a3b68e00662e6e06dd995841487753
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-03-17 (Tue, 17 Mar 2026)

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

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


Commit: d8a170136e1471e48ea1788ee63f351a13183695
https://github.com/acl2/acl2/commit/d8a170136e1471e48ea1788ee63f351a13183695
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-03-17 (Tue, 17 Mar 2026)

Changed paths:
M books/doc/publications.lisp
M books/kestrel/bibtex/xdoc-generation.lisp
M books/workshops/references/workshops.bib

Log Message:
-----------
Merge remote-tracking branch 'remotes/origin/master'


Compare: https://github.com/acl2/acl2/compare/9dbffa503d54...d8a170136e14

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

[MattKaufmann]

Branch: refs/heads/testing