Gergely Buday (Feb 09 2024 at 13:14): Gergely Buday (Feb 09 2024 at 13:14):Is this the page for Isabelle development version?
https://isatest.sketis.net/devel/release_snapshot/
Mathias Fleury (Feb 09 2024 at 13:25):https://isabelle.in.tum.de/repos/isabelle/
Mathias Fleury (Feb 09 2024 at 13:25):the other is a mirror of the TUM repo, so they should be identical however
Last updated: Mar 20 2026 at 05:16 UTC