csv 1.3.0
Merge pull request #700 from Chris00/master

csv 1.3.0
atdgen.1.2.3 requires atd.1.0.2 or greater

the fix in #592 was wrong for this version
Merge pull request #701 from mirage/master

fix atdgen 1.2.3 (again)
Add tptp-0.2.0