Fork of isabelle-dev vs. isabelle-release

[Gerwin Klein]

The afp-2026 fork has now happened.

Development and testing on afp-devel can continue as before with respect to Isabelle development repo.

Cheers,
Gerwin

> On 3 Oct 2026, at 20:24, Makarius <makarius at sketis.net> wrote:
> 
> According to plan https://sketis.net/2025/plan-for-isabelle2026-october-2026 we now have the fork of isabelle-dev vs. isabelle-release:
> 
> changeset:   85764:e2ccfaa6754e
> user:        wenzelm
> date:        Sat Oct 03 11:59:48 2026 +0200
> files:       ANNOUNCE CONTRIBUTORS
> description:
> misc tuning for release;
> 
> This means:
> 
>   - pushes to isabelle-dev after that change are for the next release, after current Isabelle2026 (October 2026)
> 
>   - until afp-devel becomes afp-2026 rather soon, changes on isabelle-dev must not break AFP
> 
>   - changes that really need to be on the current release must be sent to me via email (using "hg export" or "hg bundle"), and *not* pushed onto isabelle-dev at the same time
> 
>   - the release process continues here: https://isabelle.sketis.net/repos/isabelle-release -- that is only the "wireprotocol" for "hg clone" or "hg pull", no web interface.
> 
> 
> The next release candidate is scheduled for Mon 05-Oct-2026, then based on the isabelle-release repository. We still need to sort out various technical questions.
> 
> 
> 	Makarius
>