[acl2/acl2] e19254: Improved the reference in :DOC the-method to "Comp...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: e192548b43fba4134ba7045d952476ce4d3f9941
https://github.com/acl2/acl2/commit/e192548b43fba4134ba7045d952476ce4d3f9941
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-06-19 (Fri, 19 Jun 2026)

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:
-----------
Improved the reference in :DOC the-method to "Computer-Aided Reasoning: An Approach".

Thanks to Eric Smith for bringing up this issue.



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

[MattKaufmann]

Branch: refs/heads/testing

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel

Home: https://github.com/acl2/acl2
Commit: e192548b43fba4134ba7045d952476ce4d3f9941
https://github.com/acl2/acl2/commit/e192548b43fba4134ba7045d952476ce4d3f9941
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-06-19 (Fri, 19 Jun 2026)

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:
-----------
Improved the reference in :DOC the-method to "Computer-Aided Reasoning: An Approach".

Thanks to Eric Smith for bringing up this issue.

Commit: 2eea7a47a6579dbda42123fd187475a19b42a805
https://github.com/acl2/acl2/commit/2eea7a47a6579dbda42123fd187475a19b42a805
Author: Alessandro Coglio <em...@alessandrocoglio.info>

Date: 2026-06-19 (Fri, 19 Jun 2026)

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:
-----------

Merge.


Compare: https://github.com/acl2/acl2/compare/124c092b1f72...2eea7a47a657