On 23/10/16 18:18, Makarius wrote:
> On 12/10/16 11:36, Makarius wrote:
>> After the public appearance of Isabelle2016-1-RC0 some days ago, we are
>> still in consolidation mode for the Isabelle repository -- lets say at
>> least 2 more weeks.
>>
>> Isabelle2016-1-RC1 will still be based on the isabelle-dev repository,
>> to simplify immediate reactions on suggestions and observations by testers.
>>
>> The repository fork to isabelle-release will happen after RC1.
> 
> We are more or less on schedule. Isabelle2016-1-RC1 is anticipated
> towards the end of the week (around 28-Oct-2016). The isabelle-rev
> repository will remain open a few days afterwards to facilitate
> immediate reactions by early adopters.

That is today.

I will prepare Isabelle2016-1-RC1 in the evening of Friday 28-Oct-2016.

The isabelle-dev repository will remain open until Monday 31-Oct-2016,
and then fork to https://bitbucket.org/isabelle_project/isabelle-release


        Makarius

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to