[isabelle-dev] Isabelle2021 release process

Makarius makarius at sketis.net
Sun Jan 10 16:35:45 CET 2021

On 10/01/2021 12:32, Makarius wrote:
> It looks like we are ready. I will make the release fork later today, within
> approx. 4h.

The post-release point is now

This means that everything pushed onto the isabelle-dev repository is for the
release after Isabelle2021.

If anybody has changes for Isabelle2021, they need to be sent to me privately
(results of "hg export" or "hg bundle").


More information about the isabelle-dev mailing list