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

Preparation of 1.1.0/Isabelle2020 release.

This commit is contained in:
Achim D. Brucker 2021-03-20 22:30:17 +00:00
parent 0300a64119
commit 922da1aa21
2 changed files with 4 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.config
View File

@ -1,8 +1,8 @@
# Isabelle/DOF Version Information
DOF_VERSION="Unreleased" # "Unreleased" for development, semantic version for releases
DOF_LATEST_VERSION="1.0.0"
DOF_LATEST_ISABELLE="Isabelle2019"
DOF_LATEST_DOI="10.5281/zenodo.3370483"
DOF_VERSION="1.1.0" # "Unreleased" for development, semantic version for releases
DOF_LATEST_VERSION="1.1.0"
DOF_LATEST_ISABELLE="Isabelle2020"
DOF_LATEST_DOI="10.5281/zenodo.4625170"
DOF_GENERIC_DOI="10.5281/zenodo.3370482"
#
# Isabelle and AFP Configuration

7
CHANGELOG.md
View File

@ -5,12 +5,6 @@ All notable changes to this project will be documented in this file.
The format is based on [Keep a Changelog](http://keepachangelog.com/en/1.0.0/)
and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.html).
## [Unreleased]
### Added
### Changed
## 1.1.0 - 2021-03-20
### Added
@ -28,4 +22,3 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.
- First public release
[Unreleased]: https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF/compare/v1.0.0/Isabelle2019...HEAD