Fork of isabelle-dev vs. isabelle-release

[Makarius]

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