[isabelle-dev] Towards the release

Makarius makarius at sketis.net
Fri Oct 28 00:10:52 CEST 2016

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


More information about the isabelle-dev mailing list