[isabelle-dev] Towards the release
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