From 821af418c2d9156eb52c011829396512fc05ed45 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Wed, 27 May 2020 12:44:04 -0500 Subject: [PATCH] add changelog --- CHANGELOG.md | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 CHANGELOG.md diff --git a/CHANGELOG.md b/CHANGELOG.md new file mode 100644 index 0000000..f0447bb --- /dev/null +++ b/CHANGELOG.md @@ -0,0 +1,21 @@ +# Changelog +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] + +## [8.11.0] - 2020-05-27 +### Added +- Support for building with dune, including extraction of OCaml code +- Metadata on project, including detailed publication information + +### Fixed +- Compatibility with Coq 8.11 + +### Changed +- Reorganize files into subdirectories +- Generalize definitions and results from Set to Type + +[Unreleased]: https://github.com/coq-community/chapar/compare/v8.11.0...master +[8.11.0]: https://github.com/coq-community/chapar/releases/tag/v8.11.0