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

Bumped version to 1.3.0.

This commit is contained in:
Achim D. Brucker 2022-07-08 12:04:20 +01:00
parent f2f48f2340
commit df5d037942
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
etc/options
View File

@ -8,16 +8,16 @@ public option dof_template : string = "scrreprt-modern"
public option dof_ontologies : string = "Isabelle_DOF.technical_report Isabelle_DOF.scholarly_paper" public option dof_ontologies : string = "Isabelle_DOF.technical_report Isabelle_DOF.scholarly_paper"
-- "Isabelle/DOF ontologies (separated by blanks)" -- "Isabelle/DOF ontologies (separated by blanks)"
option dof_version : string = "Unreleased" option dof_version : string = "1.3.0"
-- "Isabelle/DOF version" -- "Isabelle/DOF version"
(* "Unreleased" for development, semantic version for releases *) (* "Unreleased" for development, semantic version for releases *)
option dof_isabelle : string = "2021-1" option dof_isabelle : string = "2021-1"
option dof_afp : string = "afp-2021-12-28" option dof_afp : string = "afp-2021-12-28"
option dof_latest_version : string = "1.2.0" option dof_latest_version : string = "1.3.0"
option dof_latest_isabelle : string = "Isabelle2021" option dof_latest_isabelle : string = "Isabelle2021-1"
option dof_latest_doi : string = "10.5281/zenodo.6385695" option dof_latest_doi : string = "10.5281/zenodo.6810799"
option dof_generic_doi : string = "10.5281/zenodo.3370482" option dof_generic_doi : string = "10.5281/zenodo.3370482"
option dof_url : string = "https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF" option dof_url : string = "https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF"