[isabelle-dev] Towards the release
lp15 at cam.ac.uk
Fri Jan 1 20:28:17 CET 2016
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.
> On 1 Jan 2016, at 19:24, Makarius <makarius at 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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev