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).


isabelle-dev mailing list

Reply via email to