[isabelle-dev] Isabelle2021 release process
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