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

Updated AFP version for Isabelle 2025.
Some checks are pending
ci/woodpecker/push/build Pipeline is pending
Details

Browse Source
This commit is contained in:
Achim D. Brucker 2025-03-16 17:40:53 +00:00
parent 66daa58bea
commit b7ca17ea35
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -42,7 +42,7 @@ object DOF {
val isabelle_version = ""
val isabelle_url = "https://isabelle.sketis.net/devel/release_snapshot/"
val afp_version = "afp-2025-03-31"
val afp_version = "afp-2025-03-16"
// Isabelle/DOF version: "Unreleased" for development, semantic version for releases
val version = "Unreleased"