[isabelle-dev] Towards the release

[Makarius]

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