Due to a notable confusion of options for isabelle build, the release of Isabelle2025-1 (December 2025) had to be replaced on the spot by Isabelle2025-2 (January 2026). See the NEWS file for further details.

Isabelle2025-1 and Isabelle2025-2 use the same version of the Archive of Formal Proofs.