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