Isabelle_DOF/Isabelle_DOF
0
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Update to Isabelle 2025-2.

Browse Source
This commit is contained in:
Achim D. Brucker 2026-02-01 19:01:51 +00:00
parent 167786bb09
commit 5096d1ecaa
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -7,7 +7,7 @@ Isabelle/DOF allows for both conventional typesetting and formal development.
Isabelle/DOF has two major prerequisites:
* **Isabelle 2025-1:** Isabelle/DOF requires [Isabelle](https://isabelle.in.tum.de/)
* **Isabelle 2025-2:** 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

2
README_DEVELOPMENT.md
View File

@ -4,7 +4,7 @@
Isabelle/DOF has three major prerequisites:
* **Isabelle:** Isabelle/DOF requires [Isabelle 2025-1]
* **Isabelle:** Isabelle/DOF requires [Isabelle 2025-2]
(https://isabelle.in.tum.de).
* **AFP:** Isabelle/DOF requires several entries from the [development version of the Archive of Formal Proofs
(AFP)](https://devel.isa-afp.org/).

6
upstream_afp/Isabelle_DOF/scala/dof.scala
View File

@ -39,7 +39,7 @@ import isabelle._
object DOF {
/** parameters **/
val isabelle_version = "2025-1"
val isabelle_version = "2025-2"
val isabelle_url = "https://isabelle.sketis.net/devel/release_snapshot/"
val afp_version = "afp-2025-12-20"
@ -50,8 +50,8 @@ object DOF {
val session = "Isabelle_DOF"
val session_ontologies = "Isabelle_DOF-Ontologies"
val latest_version = "2025-1"
val latest_isabelle = "Isabelle2025-1"
val latest_version = "2025-2"
val latest_isabelle = "Isabelle2025-2"
val latest_doi = "10.5281/zenodo.6810799"
val generic_doi = "10.5281/zenodo.3370482"