Wed, 07 Sep 2005 09:54:31 +0200 | paulson | axioms now included in tptp files, no /bin/cat and various tidying | file | diff | annotate |
Thu, 28 Jul 2005 17:54:39 +0200 | paulson | new function trim_ends | file | diff | annotate |
Fri, 22 Jul 2005 13:18:54 +0200 | paulson | removed unused code | file | diff | annotate |
Tue, 21 Jun 2005 13:34:24 +0200 | paulson | VAMPIRE_HOME, helper_path and various stylistic tweaks | file | diff | annotate |
Tue, 19 Apr 2005 18:08:44 +0200 | paulson | more tidying of libraries in Reconstruction | file | diff | annotate |
Fri, 11 Mar 2005 16:35:06 +0100 | webertj | code reformatted | file | diff | annotate |
Tue, 30 Nov 2004 18:25:55 +0100 | paulson | resolution package tools by Jia Meng | file | diff | annotate |