Wed, 28 Sep 2005 11:50:14 +0200 | wenzelm | revert 'defs' advertisement; | changeset | files |
Wed, 28 Sep 2005 11:50:13 +0200 | wenzelm | revert 'defs' advertisement; | changeset | files |
Wed, 28 Sep 2005 11:16:27 +0200 | paulson | time limit option; fixed bug concerning first line of ATP output | changeset | files |