Create CHANGELOG.md

Author: kjain14

CHANGELOG.md

@@ -0,0 +1,19 @@
+# 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/).
+
+## [8.10.0] - 2020-05-21
+### Fixed
+- Fix Jaxa version detection on macOS
+
+### Changed
+- Improved documentation of tool
+
+## [1.0] - 2020-01-18
+### Changed
+- Initial release of mCoq for Coq 8.10
+
+[Unreleased]: https://github.com/coq-community/chapar/compare/v8.10.0...master
+[8.10.0]: https://github.com/coq-community/chapar/releases/tag/v8.10.0
+[1.0]: https://github.com/coq-community/chapar/releases/tag/v1.0