logic-TPTP-0.5.0.0: changelog.markdown

## 0.5.0.0

* Add `GFormulaTerm` constructor to `GData` and support `$fot` `formula_data` (#1, #2, #19, thanks to @agomezl)
* Produce valid `$cnf` `formula_data` (#23)
* Improve test suites

## 0.4.7.0

* Fix to work with happy >=1.19.10

## 0.4.6.0

* Add Semigroup instances for Monoids and fix cabal-version warning (Thanks to @msakai)

## 0.4.5.0

* Fix compilation error with containers >=0.5.8 (Thanks to @msakai)

## 0.4.4.0

* Fix compilation error with transformers >=0.5.1 and GHC <7.10 (Thanks to @msakai)

## 0.4.3.0

* GHC 7.10.1 compatibility (Thanks to @agomezl)

## 0.4.2.0

* For transformers < 0.4.0.0, use the Eq/Ord/Show/Read Data.Functor.Identity orphan instances
  from transformers-compat instead of defining our own