Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP release fork planned for Oct 3

view this post on Zulip Email Gateway (Sep 20 2026 at 19:20):

From: Gerwin Klein <gerwin.klein@proofcraft.systems>

Following Isabelle2026-RC1 which Makarius just announced, the planned fork point for AFP 2026 (for Isabelle2026) is 3 Oct 2026 AoE.

If you have updates planned for afp-devel that should go into the 2026 release, please finish these up by then. Commits after that point will no longer go into afp-2026, but be queued for the Isabelle release after.

Cheers,
Gerwin

view this post on Zulip Email Gateway (Oct 05 2026 at 06:37):

From: Gerwin Klein <gerwin.klein@proofcraft.systems>

On 21 Sep 2026, at 05:19, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:

Following Isabelle2026-RC1 which Makarius just announced, the planned fork point for AFP 2026 (for Isabelle2026) is 3 Oct 2026 AoE.

If you have updates planned for afp-devel that should go into the 2026 release, please finish these up by then. Commits after that point will no longer go into afp-2026, but be queued for the Isabelle release after.

This fork has now happened, and development in afp-devel can continue as usual with respect to the Isabelle development version. New changes in afp-devel will appear in the release after afp-2026.

We can still currently process entries for Isabelle2025-2, but if you have a new entry that can wait until the Isabelle2026 release has happened, please submit it after that.

Cheers,
Gerwin

view this post on Zulip Email Gateway (Oct 06 2026 at 08:34):

From: Lars Hupel <lars@hupel.info>

Of course, give me a day or so :wink:

On 6. Oct 2026, at 08:59, Mete Polat <mete@varto.ai> wrote:

Hi Lars,

Can we get the GitHub mirror-afp-2026 again :-)?

Best,
Mete

On Sep 20, 2026, at 11:19 PM, Gerwin Klein <gerwin.klein@proofcraft.systems> wrote:

Following Isabelle2026-RC1 which Makarius just announced, the planned fork point for AFP 2026 (for Isabelle2026) is 3 Oct 2026 AoE.

If you have updates planned for afp-devel that should go into the 2026 release, please finish these up by then. Commits after that point will no longer go into afp-2026, but be queued for the Isabelle release after.

Cheers,
Gerwin

view this post on Zulip Email Gateway (Oct 08 2026 at 05:59):

From: Lars Hupel <lars@hupel.info>

Hi all,

the mirror is now available here:
https://github.com/isabelle-prover/mirror-afp-2026

Cheers
Lars

Last updated: Oct 08 2026 at 21:07 UTC