| Wed, 15 Sep 2010 16:19:49 +0200 | blanchet | remove needless file for us | file | diff | annotate |
| Wed, 15 Sep 2010 15:44:44 +0200 | blanchet | no need for TPTP | file | diff | annotate |
| Wed, 15 Sep 2010 11:47:25 +0200 | blanchet | "FILES" is not (anymore?) part of the official Metis sources, so move it up | file | diff | annotate | base |