Email Gateway (Aug 22 2022 at 12:07): Email Gateway (Aug 22 2022 at 12:07):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the coming Isabelle2016 release is scheduled for February 2016. Two weeks
after an informal snapshot, we now have a formal release candidate
http://isabelle.in.tum.de/website-Isabelle2016-RC1
The corresponding repository versions of Isabelle and AFP are
http://isabelle.in.tum.de/repos/isabelle/rev/3764797dd6fc and
https://bitbucket.org/isa-afp/afp-devel/commits/2c322507b8a6
The website, NEWS, ANNOUNCE etc. are already up-to-date, but some
documentation still needs further revisions.
When discussing problems, observations, suggestions, etc. the mail subject
line should be changed to something informative (but the release candidate
number still given in the message body).
As usual it is important to keep general laws of causality in mind:
release candidates can be modified, but the final release is final.
Testing needs to happen now, in order to be meaningful.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC