# Revision history for tptp

## 0.1.1.0 -- 2019-12-07

* Parse SZS ontology information in the TSTP input.

* Parse single line comments starting with #.

* Increase the upper bound of the prettyprinter dependency.

* Support compilation with GHC 8.8.1.

## 0.1.0.3 -- 2019-06-11

* Support compilation with GHC 7.8.

## 0.1.0.0 -- 2019-05-07

* First version. Released on an unsuspecting world.

* Supported TPTP languages: CNF, FOF, TFF0, TFF1.