| Wed, 21 Jul 2010 16:49:52 +0200 | wenzelm | recovered benchmarks, which are not tested automatically; | changeset | files |
| Wed, 21 Jul 2010 16:29:20 +0200 | wenzelm | reactivate SML/NJ test on macbroy28, while macbroy23 is unavailable; | changeset | files |
| Wed, 21 Jul 2010 16:14:16 +0200 | wenzelm | eliminated old time_use/time_use_thy variants -- timing is implicitly controlled via Output.timing; | changeset | files |