Revision history for tptp

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.