[isabelle-dev] Towards the release
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