From d35439184946264d7e958106b29b71aa4aced0f2 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Fri, 28 Mar 2025 03:32:17 +0100 Subject: [PATCH] Fixed Isabelle version and added direct download-link for AFP (for Isabelle 2024). --- Isabelle_DOF-add_ons-2024/README.md | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/Isabelle_DOF-add_ons-2024/README.md b/Isabelle_DOF-add_ons-2024/README.md index 09f7f45..8aa02da 100644 --- a/Isabelle_DOF-add_ons-2024/README.md +++ b/Isabelle_DOF-add_ons-2024/README.md @@ -23,10 +23,12 @@ add ons installed). This scaffold is provided in the archive Isabelle/DOF has two major prerequisites: * **Isabelle 2024:** Isabelle/DOF requires [Isabelle - 20024](https://isabelle.in.tum.de/), which can be obtained from the Isabelle + 2024](https://isabelle.in.tum.de/), which can be obtained from the Isabelle homepage: . * **AFP (for Isabelle 2024)**: Isabelle/DOF requires several entries from the - [Archive of Formal Proofs (AFP)](https://www.isa-afp.org/). + [Archive of Formal Proofs (AFP)](https://www.isa-afp.org/). A direct link for + downloading the latest version of the AFP for Isabelle 2024 is: + * **LaTeX:** Isabelle/DOF requires a modern LaTeX installation, i.e., at least [TeX Live 2022](https://www.tug.org/texlive/) with all available updates applied. @@ -42,9 +44,10 @@ the system specific instructions for its installation. ### Installation from the Archive of Formal Proofs (AFP) The core of Isabelle/DOF is available in the AFP. Hence, for using the -Isabelle/DOF Add-Ons package, please install the AFP following the instructions -given at . In the following, we assume that -the AFP has been registered as Isabelle component. +Isabelle/DOF Add-Ons package, please install the +[AFP for Isabelle 2024](https://www.isa-afp.org/release/afp-2025-03-04.tar.gz) +following the instructions given at . +In the following, we assume that the AFP has been registered as Isabelle component. Isabelle/DOF is provided as one AFP entry: