[isabelle-dev] Towards the release

[Lawrence Paulson]

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