Changelog for copilot-theorem-3.2.1
2021-03-07
* Version bump (3.2.1). (#15).
* Completed the documentation. (#11, #14).
2020-12-06
* Version bump (3.2).
* Update description, bug-reports and homepage field in cabal file
(#8).
2019-11-22 Ivan Perez <ivan.perez@nianet.org>
* Version bump (3.1).
* Remove ExternFun (#6).