Email Gateway (Aug 22 2022 at 17:49): Email Gateway (Aug 22 2022 at 17:49):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the coming Isabelle2018 release is scheduled for August 2018, approx. 6
weeks from now. The first official release candidate is now available
for general testing: https://isabelle.in.tum.de/website-Isabelle2018-RC1
The corresponding repository versions of Isabelle and AFP are
https://bitbucket.org/isabelle_project/isabelle-release/commits/cf01d04e94d7
and https://bitbucket.org/isa-afp/afp-devel/commits/2af750da996c
The website, NEWS, ANNOUNCE etc. are already up-to-date, but some
documentation still requires update.
The ongoing release process is continuously documented on my blog:
https://sketis.net/2018/release-candidates-for-isabelle2018
When discussing observations about release candidates, please provide
a mail Subject line that fits to the content, not just a clone of the
announcement.
The time for testing and reporting problems is now! After the release
has been finalized and published, it is too late to change anything.
Makarius
Email Gateway (Aug 22 2022 at 17:50):From: Makarius <makarius@sketis.net>
Note I will be at FLoC in Oxford 08..14-Jul-2018, mainly at the Coq
workshop, the ITP conference, the Isabelle workshop (with UITP joint
session), and the F-IDE workshop.
Thus people who have tested the release candidate and want to show me
problems, e.g. timing issues in the Prover IDE, can do so personally at
the event.
After returning from UK on 15-Jul-2018, I will make the next release
candidate -- unless there is something utterly broken with
Isabelle2018-RC1 such that Isabelle2018-RC2 needs to be published this week.
As usual, the ambitions for Isabelle release quality are very high. It
requires everyone to look closely, and to provide tangible problem reports.
Makarius
Last updated: Apr 24 2024 at 04:17 UTC