[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