[acl2/acl2] 1a0bc0: [doc] Improve :doc pubs-books.

[Eric W. Smith]

Branch: refs/heads/pubs-books
Home: https://github.com/acl2/acl2
Commit: 1a0bc03ed037e327bfb50e027808d1e3bcb1492b
https://github.com/acl2/acl2/commit/1a0bc03ed037e327bfb50e027808d1e3bcb1492b
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-23 (Mon, 23 Mar 2026)

Changed paths:
A books/doc/images/acs-book-cover.jpg
A books/doc/images/car-book-cover.jpg
M books/doc/publications.lisp

Log Message:
-----------
[doc] Improve :doc pubs-books.



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

[Eric W. Smith]

Branch: refs/heads/testing-kestrel

Home: https://github.com/acl2/acl2
Commit: 1a0bc03ed037e327bfb50e027808d1e3bcb1492b
https://github.com/acl2/acl2/commit/1a0bc03ed037e327bfb50e027808d1e3bcb1492b
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-23 (Mon, 23 Mar 2026)

Changed paths:
A books/doc/images/acs-book-cover.jpg
A books/doc/images/car-book-cover.jpg
M books/doc/publications.lisp

Log Message:
-----------
[doc] Improve :doc pubs-books.

Commit: 0edeadee1515f216657b937f57221cdb4756c5a8
https://github.com/acl2/acl2/commit/0edeadee1515f216657b937f57221cdb4756c5a8
Author: Eric W. Smith <48038799+eri...@users.noreply.github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)

Changed paths:
A books/doc/images/acs-book-cover.jpg
A books/doc/images/car-book-cover.jpg
M books/doc/publications.lisp

Log Message:
-----------

Merge pull request #1921 from acl2/pubs-books

[doc] Improve :doc pubs-books.


Compare: https://github.com/acl2/acl2/compare/b3cd821a6f11...0edeadee1515

[Eric W. Smith]

Branch: refs/heads/master

[Eric W. Smith]

Branch: refs/heads/testing