| 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 |
| Fri, 04 Sep 2009 15:19:51 +0200 | haftmann | merged | changeset | files |
| Fri, 04 Sep 2009 15:18:35 +0200 | haftmann | tuned metis proofs | changeset | files |
| Fri, 04 Sep 2009 13:57:56 +0200 | boehmes | tuned | changeset | files |
| Fri, 04 Sep 2009 10:58:50 +0200 | nipkow | tuned output | changeset | files |
| Thu, 03 Sep 2009 22:48:18 +0200 | boehmes | merged | changeset | files |