[isabelle] Last chance for testing of Isabelle2017 release candidate



Dear Isabelle users,

the current release candidate from
http://isabelle.in.tum.de/website-Isabelle2017 (presently RC3) turned
out quite stable.

The present plan is to publish the final version next week. Afterwards
it will not change again for approx. 8-10 months.

So this is the last chance for testing and to make amendments for
Isabelle2017.


The corresponding AFP repository is https://bitbucket.org/isa-afp/afp-2017


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.