2022-01-07 * Version bump (3.7). (#287) 2021-11-07 * Version bump (3.6). (#264) * Improve documentation of LTL module. (#131) * Fix outdated/broken links. (#252) 2021-08-19 * Version bump (3.5). (#247) * Update travis domain in README. (#222) * Update official maintainer. (#236) * Update source repo location. (#241) * Add I. Perez to author list. (#243) 2021-07-07 * Version bump (3.4). (#231) 2021-05-07 * Version bump (3.3). (#217) 2021-03-07 * Version bump (3.2.1). (#126) * Completed the documentation. (#127) 2020-12-06 * Version bump (3.2). * Update description, bug-reports, homepage fields in cabal file (#129). 2019-11-22 Ivan Perez <ivan.perez@nianet.org> * Version bump (3.1).