Email Gateway (Jun 22 2026 at 18:55): Email Gateway (Jun 22 2026 at 18:55):From: Mete Polat <metepolat2000@gmail.com>
Hi everyone,
Not sure who is maintaining the GitHub Isabelle mirrors but would love to see mirror-afp-2025-2 there as well if possible.
Best,
Mete
Email Gateway (Jun 22 2026 at 18:58):From: Makarius <makarius@sketis.net>
On 22/06/2026 20:54, Mete Polat wrote:
Not sure who is maintaining the GitHub Isabelle mirrors but would love to see mirror-afp-2025-2 there as well if possible.
Better delete them.
People sometimes think they could browse actual Isabelle history, but it does
not quite work: the many internal references to Isabelle hg changesets are wrong.
Makarius
Email Gateway (Jun 28 2026 at 15:55):From: Lars Hupel <lars@hupel.info>
Hi Mete,
Not sure who is maintaining the GitHub Isabelle mirrors but would
love to see mirror-afp-2025-2 there as well if possible.
thanks for pointing it out; I have created it now (upload in progress).
I wasn't aware that afp-2025-2 existed, since the Isabelle website says
that 2025-1 and -2 use the same AFP.
Cheers
Lars
Last updated: Jul 02 2026 at 07:34 UTC