| Thu, 27 Aug 2009 15:49:45 +0100 | paulson | More streamlining using metis. | changeset | files |
| Mon, 07 Sep 2009 08:32:22 +0200 | nipkow | enabled metis permanently, tuned stats | changeset | files |
| Sat, 05 Sep 2009 22:01:31 +0200 | boehmes | added signature ATP_MINIMAL, | changeset | files |
| Sat, 05 Sep 2009 17:35:05 +0200 | boehmes | merged | changeset | files |
| Sat, 05 Sep 2009 17:34:30 +0200 | boehmes | separate output of ATP user time and sledgehammer (ML code) user time | changeset | files |
| Sat, 05 Sep 2009 15:46:52 +0200 | boehmes | Mirabelle: command-line action options may either be key=value or just key | changeset | files |
| Sat, 05 Sep 2009 11:45:57 +0200 | boehmes | added initialization and cleanup of actions, | changeset | files |