copilot-theorem-3.2.1: CHANGELOG

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