[isabelle-dev] Plan for Isabelle2020 release

[Makarius]

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