[isabelle-dev] Final consolidation for Isabelle2018-RC2

Makarius makarius at sketis.net
Sun Jul 22 20:15:30 CEST 2018

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.


More information about the isabelle-dev mailing list