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-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
