| Thu, 19 Dec 2013 17:11:54 +0100 | blanchet | pick up tfree/tvar type from SPASS-Pirate proof | file | diff | annotate |
| Thu, 19 Dec 2013 16:11:20 +0100 | blanchet | tuning | file | diff | annotate |
| Thu, 19 Dec 2013 15:47:17 +0100 | blanchet | extended ATP types with sorts | file | diff | annotate |
| Thu, 19 Dec 2013 15:04:21 +0100 | blanchet | removed debugging output | file | diff | annotate |
| Thu, 19 Dec 2013 14:57:21 +0100 | blanchet | honor SPASS-Pirate type arguments | file | diff | annotate |
| Wed, 18 Dec 2013 22:55:20 +0100 | blanchet | parse SPASS-Pirate types | file | diff | annotate |
| Wed, 18 Dec 2013 16:50:14 +0100 | blanchet | tuning | file | diff | annotate |