All legacy (hg-git based) Projects have been automatically migrated to native with the upgrade of 2025-01-23
To be deleted.
Isabelle2021-1 release of the Archive of Formal Proofs
A simple utility to find correct CPUTYPE value for FreeBSD makefiles.
Isabelle2021 release of the Archive of Formal Proofs
Isabelle2020 release of the Archive of Formal Proofs
Isabelle2019 release of the Archive of Formal Proofs