Dear Isabelle contributors, we are now definitely heading towards the Isabelle2017 release.
The first official release candidate Isabelle2017-RC1 is anticipated for 2/3-Sep-2017, that is a bit less than 2 weeks from now. That is also the deadline for any significant additions. I have already updated the important files NEWS, CONTRIBUTORS, ANNOUNCE in Isabelle/5c0a3f63057d, but it seems that many potential entries are still missing. Please provide entries in NEWS and CONTRIBUTORS for all relevant things you have done since the last release. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev