2024-02-21 Ivan Perez <ivan.perez@keera.co.uk> * Version bump (0.12.2) (#398). * Add version bounds to dependencies (#399). 2023-12-21 Ivan Perez <ivan.perez@keera.co.uk> * Version bump (0.12.1) (#395). * Mark package as uncurated (#394). 2023-10-21 Ivan Perez <ivan.perez@keera.co.uk> * Version bump (0.12.0) (#388). * Deprecate one of multiple ptLTL implementations (#385). 2023-08-21 Ivan Perez <ivan.perez@keera.co.uk> * Version bump (0.11.2) (#377). 2023-06-21 Ivan Perez <ivan.perez@keera.co.uk> * Version bump (0.11.1) (#372). 2023-04-21 Ivan Perez <ivan.perez@keera.co.uk> * Version bump (0.11.0) (#358). * Conformance with style guide (#348). 2023-02-21 Ivan Perez <ivan.perez@keera.co.uk> * Version bump (0.10.1) (#345). 2023-02-21 Ivan Perez <ivan.perez@keera.co.uk> * Version bump (0.10.0) (#342). * Remove the function FRP.Dunai.LTLPast.prev (#341). 2022-12-21 Ivan Perez <ivan.perez@keera.co.uk> * Version bump (0.9.2) (#340). 2022-10-21 Ivan Perez <ivan.perez@keera.co.uk> * Version bump (0.9.1) (#335). 2022-08-21 Ivan Perez <ivan.perez@keera.co.uk> * Version bump (0.9.0) (#313). * Document module FRP.Dunai.Debug (#306). * Document module FRP.Dunai.LTLFuture (#307). * Document module FRP.Dunai.LTLPast (#310). * Re-format CHANGELOG for readability (#311). * Deprecate the function FRP.Dunai.LTLPast.prev (#312). 2022-06-21 Ivan Perez <ivan.perez@keera.co.uk> * Version bump (0.8.3) (#302). 2022-04-21 Ivan Perez <ivan.perez@keera.co.uk> * Version bump (0.8.2) (#280). * Add CHANGELOG file (#273). * Declare subdir of source-repository in Cabal file (#272).