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