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.
Cheers, Manuel 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? > > > Makarius > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
