Updated Changelog for release 1.0.0/Isabelle2019.

This commit is contained in:
Achim D. Brucker 2019-08-18 10:39:24 +01:00
parent 1a87a4dcea
commit 1eff5c7550
1 changed files with 6 additions and 1 deletions

View File

@ -5,5 +5,10 @@ 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]
## 1.0.0 - 2018-08-18
### Added
- First public release
[Unreleased]: https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF/compare/v1.0.0/Isabelle2019...HEAD