Makarius
2018-08-07 13:43:04 UTC
Dear Isabelle users,
the Isabelle2018 release is getting fairly close now. Presumably the
last release candidate is available from
https://isabelle.in.tum.de/website-Isabelle2018-RC4
This corresponds to the Archive of Formal Proofs for Isabelle2018
https://bitbucket.org/isa-afp/afp-2018
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.
As we are approaching the final release, testing and reporting problems
becomes very important. After the release has been published, it is too
late to change anything (before the next release in approx. 10 months).
Makarius
the Isabelle2018 release is getting fairly close now. Presumably the
last release candidate is available from
https://isabelle.in.tum.de/website-Isabelle2018-RC4
This corresponds to the Archive of Formal Proofs for Isabelle2018
https://bitbucket.org/isa-afp/afp-2018
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.
As we are approaching the final release, testing and reporting problems
becomes very important. After the release has been published, it is too
late to change anything (before the next release in approx. 10 months).
Makarius