On 02/03/2020 17:39, Makarius wrote:
> This is an update on the Isabelle2020 release process.
>
> * Isabelle2020-RC2 is to be expected within 1-2 weeks: this will be also the
> fork-point for the Isabelle release repository
> https://isabelle.sketis.net/repos/isabelle-release
The present plan is to fork Isabelle2020-RC2 from isabelle-dev towards the end
of the week: 13/14-Mar-2020.
Afterwards only very important changes will be accepted (sent to me as
changesets or bundles via email).
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
