Merge branch 'main' into isabelle_nightly

README.md

@@ -7,7 +7,7 @@ Isabelle/DOF allows for both conventional typesetting and formal development.
 
 Isabelle/DOF has two major prerequisites:
 
-* **Isabelle 2024:** Isabelle/DOF requires [Isabelle](https://isabelle.in.tum.de/)
+* **Isabelle (Development Version):** Isabelle/DOF requires [Isabelle](https://isabelle.in.tum.de/)
   and several entries from the [Archive of Formal Proofs
   (AFP)](https://www.isa-afp.org/).
 * **LaTeX:** Isabelle/DOF requires a modern LaTeX installation, i.e., at least

README_DEVELOPMENT.md

@@ -4,12 +4,10 @@
 
 Isabelle/DOF has three major prerequisites:
 
-* **Isabelle:** Isabelle/DOF requires [Isabelle
+* **Isabelle:** Isabelle/DOF requires [the latest development version of Isabelle]
-  2023](https://isabelle.in.tum.de/website-Isabelle2023/). Please download the
+  (https://isabelle.in.tum.de).
-  Isabelle 2023 distribution for your operating system from the [Isabelle
+* **AFP:** Isabelle/DOF requires several entries from the [development version of the Archive of Formal Proofs
-  website](https://isabelle.in.tum.de/website-Isabelle2023/).
+  (AFP)](https://devel.isa-afp.org/).
-* **AFP:** Isabelle/DOF requires several entries from the [Archive of Formal Proofs
-  (AFP)](https://www.isa-afp.org/).  
 * **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.

upstream_afp/Isabelle_DOF/scala/dof.scala

@@ -39,10 +39,10 @@ import isabelle._
 object DOF {
   /** parameters **/
 
-  val isabelle_version = "2024"
+  val isabelle_version = ""
-  val isabelle_url = "https://isabelle.in.tum.de/website-Isabelle2024" 
+  val isabelle_url = "https://isabelle.sketis.net/devel/release_snapshot/"
 
-  val afp_version = "afp-2024"
+  val afp_version = "afp-devel"
 
   // Isabelle/DOF version: "Unreleased" for development, semantic version for releases
   val version = "Unreleased"