| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | added more node shapes (matched with roles); | file | diff | annotate |
| Tue, 03 Sep 2013 21:46:40 +0100 | sultana | brought up to date with TPTP_Proof; | file | diff | annotate |
| Wed, 11 Apr 2012 20:42:28 +0200 | wenzelm | standardized ML aliases; | file | diff | annotate |
| Tue, 10 Apr 2012 06:45:15 +0100 | sultana | added graph-conversion utility for TPTP files | file | diff | annotate |