[isabelle-dev] Plan for Isabelle2020 release
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
> 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
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