Compare commits
1 Commits
main
...
v1.1.x/Isa
Author | SHA1 | Date |
---|---|---|
Achim D. Brucker | 922da1aa21 |
8
.config
8
.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
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue