Email Gateway (Jan 31 2025 at 14:34): Email Gateway (Jan 31 2025 at 14:34):From: Makarius <makarius@sketis.net>
Dear Isabelle contributors,
Isabelle2025-RC1 will be published Mon 03-Feb-2025 according to plan, see also
https://isabelle-dev.sketis.net/phame/post/view/85/release_candidates_for_isabelle2025
(I will make the snapshot on Sun evening or Mon morning, Bavarian time).
So this is the last call to make everything ready for the first official
release candidate, including NEWS (mandatory) and CONTRIBUTORS (optional).
Afterwards there will be additional time until RC2 or RC3, until the
repository fork of isabelle-dev vs. isabelle-release happens.
Makarius
Last updated: Feb 01 2025 at 20:19 UTC