Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog.

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