:DOC note-8-7-books updates for upcoming ACL2 Version 8.7 release

[Matt Kaufmann]

Hi acl2-books,

(NOTE: If you reply to this message, please CC me, as I'm not
currently on the acl2-books list.)

I'm hoping for an ACL2 Version 8.7 release in March.

If you have made updates to any community books but not yet documented
them in :DOC note-8-7-books, please consider doing so.  I'll assume
that these are all completed no later than March 9 unless I hear by
then that someone needs a bit more time.

Sometime after March 9, a "dummy commit" message will signal that the
release process has begun.  That will be done on a new branch until
the release is complete; so, you can continue updating master without
interruption.

Thanks,
Matt

[Matt Kaufmann]

Hi acl2-books,

I've received a request for an extension of a week before I start
making the ACL2 Version 8.7 release.  So I'll wait until after Monday,
March 16 to do that.  I'm hoping that all documentation updates will
be complete by then, but I plan to start the release then regardless.

Thanks,
Matt

[Matt Kaufmann]

Hi acl2-books,

I've received another extension request, which I've granted. So
please expect a hard deadline of 6:00 am this Thursday for changes to
go into the Version 8.7 release.

-- Matt
Matt Kaufmann <matthew.j...@gmail.com> writes:

> [1:text/plain Hide]

> --