[isabelle-dev] Isabelle2021 release process

Makarius makarius at sketis.net
Fri Jan 8 14:11:32 CET 2021

On 27/12/2020 20:23, Makarius wrote:
> We are in an early stage of the official Isabelle2021 release process.
> The blog https://isabelle-dev.sketis.net/phame/blog/view/2 and the workboard
> https://isabelle-dev.sketis.net/project/board/4 provide a clue where we are.
> Presently, the repository is still open for commits for that branch, at least
> until the end of the Christmas season (10-Jan-2021).

Are we ready to conclude?

I am considering to produce Isabelle2021-RC2 on Sunday 10-Jan-2021, and fork
the isabelle-dev vs. isabelle-release repositories. Afterwards any changes for
the release need to be sent via email to me.

The timing depends also depends on AFP: is everything ready over there?


More information about the isabelle-dev mailing list