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