Changelog for copilot-theorem-3.5
2021-08-19
* Version bump (3.5). (#247)
* Update travis domain in README. (#222)
* Remove unused type U2. (#91)
* Update official maintainer. (#236, #245)
2021-07-07
* Version bump (3.4). (#231)
2021-05-07
* Version bump (3.3). (#217).
* Adjust contraints on version of what4. (#90).
2021-03-07
* Version bump (3.2.1). (#92).
* Completed the documentation. (#95, #93).
2020-12-06
* Version bump (3.2).
* Update description, bug-reports and homepage field in cabal file
(#97).
2019-11-22 Ivan Perez <ivan.perez@nianet.org>
* Version bump (3.1).
* Remove ExternFun (#99).