[acl2/acl2] d37034: [books/GNUmakefile] Add blake2s proof to SLOW_BOOKS.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: d3703430885ee64df5d0eca0b837bdc6c7e74e65
https://github.com/acl2/acl2/commit/d3703430885ee64df5d0eca0b837bdc6c7e74e65
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-19 (Thu, 19 Mar 2026)

Changed paths:
M books/GNUmakefile

Log Message:
-----------
[books/GNUmakefile] Add blake2s proof to SLOW_BOOKS.

As suggested by Matt Kaufmann.


Commit: 74df1daae0ae88dfddb265864936affdd34e41d1
https://github.com/acl2/acl2/commit/74df1daae0ae88dfddb265864936affdd34e41d1
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-19 (Thu, 19 Mar 2026)

Changed paths:
M books/kestrel/bibtex/xdoc-generation.lisp

Log Message:
-----------
[bibtex] Improve xdoc generated for bibtex.

Include a link to access the paper via doi.org if a DOI is present.


Commit: 0d9e5f5885ae8c546c9ea49d950f522a039640cc
https://github.com/acl2/acl2/commit/0d9e5f5885ae8c546c9ea49d950f522a039640cc
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-19 (Thu, 19 Mar 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[doc] Finish adding my release notes for v8-7.


Commit: b3e0ef9bc0e3adfce2fa20d976bf8ee738094a16
https://github.com/acl2/acl2/commit/b3e0ef9bc0e3adfce2fa20d976bf8ee738094a16
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-19 (Thu, 19 Mar 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[doc] Alphabetize relnotes.

Also make a couple of tweaks.


Compare: https://github.com/acl2/acl2/compare/4618d9ecfbd8...b3e0ef9bc0e3

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

[acl2buildserver]

Branch: refs/heads/master

Commit: 701acd698099b047e012cb9ce03afec2990e56a8
https://github.com/acl2/acl2/commit/701acd698099b047e012cb9ce03afec2990e56a8
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2026-03-19 (Thu, 19 Mar 2026)

Changed paths:
M books/GNUmakefile

M books/doc/relnotes.lisp

M books/kestrel/bibtex/xdoc-generation.lisp

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

Merge commit 'b3e0ef9bc0e3adfce2fa20d976bf8ee738094a16' into HEAD


Compare: https://github.com/acl2/acl2/compare/f55950d3abe4...701acd698099

[acl2buildserver]

Branch: refs/heads/testing