Email Gateway (Aug 22 2022 at 16:09): Email Gateway (Aug 22 2022 at 16:09):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the coming Isabelle2017 release is scheduled for October 2017. There
will be approx. 6 weeks with formal release candidates, starting now at
http://isabelle.in.tum.de/website-Isabelle2017-RC1.
The corresponding repository versions of Isabelle and AFP are
https://bitbucket.org/isabelle_project/isabelle-release/commits/13a1081961d2
and
https://bitbucket.org/isa-afp/afp-devel/commits/c7574e891704
The website, NEWS, ANNOUNCE etc. are already up-to-date, but some
documentation still requires update.
When posting problems, observations, suggestions, etc. the mail
subject line should be changed to something informative, and the
particular Isabelle version given in the message body.
The Isabelle release process is subject to the laws of causality:
release candidates can be modified, but the final release remains final.
Testing needs to happen in the weeks before the final release!
See also http://sketis.net/2017/release-candidates-for-isabelle2017
Makarius
Last updated: Nov 21 2024 at 12:39 UTC