[isabelle-dev] Isabelle2021 release process

[Makarius]

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
https://isabelle.sketis.net/repos/isabelle/rev/1105c42722dc

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").


	Makarius