Email Gateway (Aug 22 2022 at 15:52): Email Gateway (Aug 22 2022 at 15:52):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
We are heading towards the Isabelle2017 release, which is scheduled for
October 2017. See also
http://sketis.net/2017/release-candidates-for-isabelle2017
For early experimentation there is now
http://isabelle.in.tum.de/website-Isabelle2017-RC0
There are still some changes to be expected before the first formal
release candidate (presumably in the first week of September).
When discussing observations about release candidates, please ensure
that the Subject line clearly marks a meaningful mailing list thread.
Makarius
Last updated: Feb 01 2025 at 20:19 UTC