Fri, 01 Apr 2011 09:20:59 +0200 | bulwahn | adding time profiling in quickcheck's batch testing for further diagnosis in IsaCoSy | changeset | files |
Fri, 01 Apr 2011 09:48:01 +0200 | krauss | raised timeouts further, for SML/NJ | changeset | files |
Fri, 01 Apr 2011 09:29:58 +0200 | krauss | adapted parsing of session timing (cf. e86b10c68f0b) | changeset | files |