copilot-theorem-3.4: CHANGELOG

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).