| 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 |