diff --git a/.config b/.config index 692faa9..fb8767a 100755 --- a/.config +++ b/.config @@ -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 diff --git a/CHANGELOG.md b/CHANGELOG.md index f1e663a..f88a922 100755 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -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