| Mon, 27 Feb 2012 16:53:13 +0100 | wenzelm | more standard settings -- refer to COMPONENT at most once; | file | diff | annotate |
| Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | added problem importer | file | diff | annotate |
| Mon, 23 Jan 2012 17:40:31 +0100 | blanchet | moved "nitrox" to TPTP | file | diff | annotate | base |