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

Added zenodo DOI.

This commit is contained in:
Achim D. Brucker 2019-08-18 14:34:19 +01:00
parent c698a7a811
commit b191029743
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.config
View File

@ -2,7 +2,7 @@
DOF_VERSION="1.0.0"
DOF_LATEST_VERSION="1.0.0"
DOF_LATEST_ISABELLE="Isabelle2019"
DOF_LATEST_DOI="undefined"
DOF_LATEST_DOI="10.5281/zenodo.3370483"
#
# Isabelle and AFP Configuration
ISABELLE_VERSION="Isabelle2019: June 2019"