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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
