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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
