| 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 |
| Thu, 03 Sep 2009 22:47:31 +0200 | boehmes | Mirabelle: actions are responsible for catching exceptions and producing suitable log messages (makes log message uniform), | changeset | files |
| Thu, 03 Sep 2009 20:26:07 +0200 | haftmann | merged | changeset | files |
| Thu, 03 Sep 2009 17:26:10 +0200 | haftmann | merged | changeset | files |
| Thu, 03 Sep 2009 15:39:02 +0200 | haftmann | proper class syntax for sublocale class < expr | changeset | files |
| Thu, 03 Sep 2009 18:41:58 +0200 | boehmes | added option full_typed for sledgehammer action | changeset | files |
| Thu, 03 Sep 2009 17:55:31 +0200 | boehmes | added runtime information to sledgehammer | changeset | files |
| Thu, 03 Sep 2009 15:47:39 +0200 | boehmes | tuned | changeset | files |
| Thu, 03 Sep 2009 15:30:05 +0200 | nipkow | scaled avg_time | changeset | files |
| Thu, 03 Sep 2009 14:50:02 +0200 | nipkow | merged | changeset | files |
| Thu, 03 Sep 2009 14:49:34 +0200 | nipkow | tuned | changeset | files |
| Thu, 03 Sep 2009 14:40:52 +0200 | krauss | isatest: collect test results and logs in testdata repository | changeset | files |
| Thu, 03 Sep 2009 14:31:04 +0200 | boehmes | replaced backlist by whitelist | changeset | files |
| Thu, 03 Sep 2009 14:05:13 +0200 | boehmes | Mirabelle: logging of exceptions (works only for PolyML) | changeset | files |
| Wed, 02 Sep 2009 22:12:40 +0200 | wenzelm | merged | changeset | files |
| Wed, 02 Sep 2009 22:12:20 +0200 | wenzelm | refined delay into delay_first/delay_last; | changeset | files |
| Wed, 02 Sep 2009 21:34:13 +0200 | boehmes | merged | changeset | files |
| Wed, 02 Sep 2009 21:33:16 +0200 | boehmes | add report script for Mirabelle | changeset | files |