[isabelle-dev] Final consolidation for Isabelle2018-RC2

Makarius makarius at sketis.net
Sun Jul 22 12:44:00 CEST 2018

On 18/07/18 12:53, Makarius wrote:
> This is a reminder that we are in the final consolidation phase towards
> Isabelle2018-RC2.
> I will say more precisely when the fork of the isabelle-dev vs.
> isabelle-release repositories will happen, presumably in the next few
> days. After return from FLoC I still need to sort out many details, and
> some genuine problems (apart from inevitable last-minute additions).

The present plan is to make the repository fork today, in approx. 6h. So
this is the last chance to finalize for the Isabelle2018 release.

Afterwards changes for significant problems will be accepted (via email).


More information about the isabelle-dev mailing list