All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog and this project adheres to the Haskell Package Versioning Policy.
* Changed name and description of data files.
* Fixed bug that caused assumptions not to be simplified.
* Logic files in the designated data directories can now be specified
without extension, but must not occur in a subdirectory.
* Many previously exposed internal functions are now hidden.
* Tableaux are now postprocessed to remove obviously superfluous rules.
* Tableaux now document which formulas triggered branch closure.
* The `negation` and `contradicts` functions have been removed.
* Closure is now exclusively triggered on properly signed formulas --- no
longer on finding `[T] A` and `[T] A -> 0`, and no longer on finding
`[T] A` for some assumption `A`.
* First versioned release. Although it is the first version, the
application has been incubating for a while and should be mostly stable.
The commit history will take you deeper into the past.