On 22/07/18 20:13, Makarius wrote:
> 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
89e05bd572c6 is my tentative tag changeset, but the tagged version is
the already published 14167c321d22.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
