diff options
| author | Cyril Cohen | 2019-04-08 18:33:42 +0200 |
|---|---|---|
| committer | GitHub | 2019-04-08 18:33:42 +0200 |
| commit | 3331ab7b47d43a5fb214784427b0796ccbd7e0b4 (patch) | |
| tree | 38b9963e9b98cff54570c30ca9c64b90b817e825 /CHANGELOG.md | |
| parent | b1561523a76c851c864f16840f8b0db9dfe20cfe (diff) | |
Update CHANGELOG.md
Diffstat (limited to 'CHANGELOG.md')
| -rw-r--r-- | CHANGELOG.md | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md index c734df9..15adb00 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -3,6 +3,16 @@ All notable changes to this project will be documented in this file. The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). +## [Unreleased] + +### Added + +### Changed + +### Renamed + +### Misc + ## [1.8.0] - 2019-04-08 Drop compatibility with Coq 8.6 (OCaml plugin removed). |