[isabelle-dev] Towards the release

Makarius makarius at sketis.net
Fri Jan 1 20:24:49 CET 2016

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 

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.


More information about the isabelle-dev mailing list