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

Updated config for release 1.0.0/Isabelle2019.

This commit is contained in:
Achim D. Brucker 2019-08-18 10:39:42 +01:00
parent 1eff5c7550
commit 9117bed209
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.config
View File

@ -1,5 +1,7 @@
# Isabelle/DOF Version Information
DOF_VERSION="Unreleased" # "Unreleased" for development, proper semantic
DOF_VERSION="1.0.0"
DOF_LATEST_VERSION="1.0.0"
DOF_LATEST_ISABELLE="Isabelle2019"
#
# Isabelle and AFP Configuration
ISABELLE_VERSION="Isabelle2019: June 2019"