I'm still working on a major theorem. It would be nice to include it if possible. However, I have no major changes on the order of the real vs of_nat rationalisation. Larry
> On 1 Jan 2016, at 19:24, Makarius <makar...@sketis.net> wrote: > > Isabelle2016-RC0 is published, but we are still in normal incremental change > mode on the isabelle-dev repository. > > This is also an opportunity to check NEWS, ANNOUNCE, CONTRIBUTORS, and the > website. > > > Are there bigger changes still in the pipeline? Larry are you finished with > the ports from HOL Light, as far as Isabelle2016 is concerned? > > Depending on that, the fork point for the release will be a bit sooner or > later. Lets say in about 2 weeks. Hopefully, Oracle manages to deliver the > next Java 8 update in 3 weeks, as scheduled. > > > 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