[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

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


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