I for one am hoping to be able to get rid of the Old Number Theory
before the release. All that is left to do is actually to adapt some
theories of the ported theories to my recent changes concerning prime
numbers, so I think I should be able to take care of that next week.
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.
> I am presently still stuck updating the Admin area.
> Are there any non-trivial chunks still in the commit/push pipeline that
> need special considerations?
> isabelle-dev mailing list
isabelle-dev mailing list