Towards Isabelle2025-1-RC3 and AFP release

[Gerwin Klein]

> On 27 Nov 2025, at 22:20, Makarius <makarius at sketis.net> wrote:
>
> My original plan was to publish the next release candidate yesterday, but I was too busy elsewhere and a few notable points are still open. It will happen within a few days.
>
> We are already > 3 weeks into the official release process, and the isabelle-dev repository is still blocked. I usually try to keep that state of uncertainty at approx. 2 weeks (which is already quite a lot). Sometimes people get uneasy to push changes that are for the next release onto it.

There's no reason why there should be urgency to add new features for after the current release into the repo right now. It’s easy in distributed version control to wait with such merges. It’s good that we have the fork process, but that should be a safety feature, not an excuse for chaos.


> The fork of isabelle-dev vs. isabelle-release should have happened for RC2, but without AFP moving as well, it would merely cause even more confusion. So what is the current plan AFP? We have again a situation of "several weeks delay for no particular reasons", do we?

I’ve been busy elsewhere as well, but we can do the AFP fork soon. Let me announce it for Mon, we’ll see if that sparks the usual last minute panic requests.

Cheers,
Gerwin


This email and any files transmitted with it may contain confidential information. If you believe you have received this email or any of its contents in error, please notify me immediately by return email and destroy this email. Do not use, disseminate, forward, print or copy any contents of an email received in error.