[isabelle-dev] State of the Isabelle2021-1 release process
makarius at sketis.net
Sun Nov 7 20:44:46 CET 2021
We are presently at Isabelle2021-1-RC2, which is still on the regular
This will remain so until the end of the week (approx. 12-Nov-2021): then I
will fork the isabelle-dev vs. isabelle-release repository and make
Isabelle2021-1-RC3 available shortly afterwards.
So there are a few days remaining to consolidate everything on the
isabelle-dev repository --- for *this* release.
After the fork, further changes need to be exported and sent to me via e-mail
(and not pushed on the isabelle-dev repository anymore).
More information about the isabelle-dev