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
Email Gateway (Feb 02 2025 at 16:10):From: Makarius <makarius@sketis.net>
On 31/01/2025 15:25, Makarius wrote:
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).
I will make the snapshot Mon 11:30 Bavarian time.
Makarius
Email Gateway (Feb 03 2025 at 19:49):From: Makarius <makarius@sketis.net>
On 02/02/2025 17:10, Makarius wrote:
On 31/01/2025 15:25, Makarius wrote:
I will make the snapshot Mon 11:30 Bavarian time.
I've done that, but required 3 attempts to build the distribution and website
(each one requires approx. 2h).
Now that it has been published, we have 1-2 weeks on the isabelle-dev
repository to sort out fine points for the final release.
Then comes the repository fork, presumably at RC2 or RC3. It means that
further changes will have to be send to me via e-mail.
We also need to sync with the AFP fork and release: Gerwin will say what his
schedule is this time.
Makarius
Last updated: Apr 18 2025 at 20:21 UTC