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