[isabelle-dev] Plan for Isabelle2020 release

Makarius makarius at sketis.net
Sat Mar 21 22:28:36 CET 2020

On 15/03/2020 13:27, Makarius wrote:
> That is now Isabelle/61ba52af28e3, so isabelle-dev is technically after the
> Isabelle2020 release.

Things have been going well so far: Isabelle2020-RC2 is pretty stable, and
Isabelle2020-RC3 is to expected at the start of the week.

Isabelle/f2c1154e9c8d is a preliminary merge of isabelle-dev vs.
isabelle-release: it reduces the mental split in further moves. (There is
nothing special to see here.)


More information about the isabelle-dev mailing list