diff options
| -rw-r--r-- | .mailmap | 5 | ||||
| -rw-r--r-- | CHANGELOG.md | 12 |
2 files changed, 17 insertions, 0 deletions
@@ -5,3 +5,8 @@ Assia Mahboubi <Assia.Mahboubi@inria.fr> <assia.mahboubi@inria.fr> Cyril Cohen <Cyril.Cohen@inria.fr> <barbichu@crans.org> Cyril Cohen <Cyril.Cohen@inria.fr> <cohen@crans.org> +Cyril Cohen <Cyril.Cohen@inria.fr> <CohenCyril@users.noreply.github.com> + +Kazuhiko Sakaguchi <sakaguchi@coins.tsukuba.ac.jp> <pi8027@gmail.com> + +Laurence Rideau <Laurence.Rideau@inriafr> <LaurenceRideau@users.noreply.github.com> diff --git a/CHANGELOG.md b/CHANGELOG.md index c734df9..99f51ce 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,8 +1,20 @@ # Changelog All notable changes to this project will be documented in this file. +Last releases: [[1.8.0] - 2019-04-08](#180---2019-04-08) and [[1.7.0] - 2018-04-24](#170---2018-04-24). + 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). |