Email Gateway (Aug 22 2022 at 17:33): Email Gateway (Aug 22 2022 at 17:33):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the Isabelle2018 release is scheduled for August 2018, approx. 10 weeks
from now. The first official release candidate can be anticipated in 4
weeks.
In order to get started with proper testing, there is now an informal
snapshot Isabelle2018-RC0 (see
https://isabelle.in.tum.de/website-Isabelle2018-RC0).
The ongoing release process is continuously documented at
see also https://sketis.net/2018/release-candidates-for-isabelle2018
When discussing observations about release candidates, please provide
a Subject: line that fits to the content, not just a clone of the
announcement.
Makarius
Last updated: May 06 2024 at 16:21 UTC