[isabelle-dev] Final consolidation for Isabelle2018-RC2

Makarius makarius at sketis.net
Sun Jul 22 20:13:23 CEST 2018

On 22/07/18 12:44, Makarius wrote:
> 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.

I am about to make the repository fork. Right now it looks like
Isabelle2018-RC2 going to be current 89e05bd572c6.

Pushes on the isabelle-dev repositories should be avoided in the next
1-2 hours, to avoid data races concerning the target branch:
Isabelle2018 vs. post-Isabelle2018 development.


More information about the isabelle-dev mailing list