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
