Email Gateway (Aug 22 2022 at 16:16): Email Gateway (Aug 22 2022 at 16:16):From: Makarius <makarius@sketis.net>
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
Last updated: Nov 21 2024 at 12:39 UTC