| Tue, 03 Sep 2013 21:46:40 +0100 | sultana | improved handling of nonstandard problem names; | file | diff | annotate |
| Tue, 17 Apr 2012 23:22:40 +0100 | sultana | tidied exception-handling relating to tptp problem names; | file | diff | annotate |
| Tue, 17 Apr 2012 16:14:07 +0100 | sultana | improved exception-handling in tptp; | file | diff | annotate |
| Fri, 09 Mar 2012 15:38:55 +0000 | sultana | added tptp parser; | file | diff | annotate |