[isabelle-dev] Plan for Isabelle2020 release

Makarius makarius at sketis.net
Sun Mar 15 13:27:27 CET 2020

On 15/03/2020 13:05, Makarius wrote:
> I am in the process to publish Isabelle2020-RC2: changeset 7eadccd4392c.
> This will be also the fork point for the isabelle-release vs. isabelle-dev
> repositories.
> Please refrain from pushing anything to isabelle-dev until a changeset with
> log message "back to post-release mode" appears.

That is now Isabelle/61ba52af28e3, so isabelle-dev is technically after the
Isabelle2020 release.

If there are still important changes for Isabelle2020 in the pipeline, they
need to be sent to me via email.


More information about the isabelle-dev mailing list