Tue, 24 Sep 2013 14:07:23 +0200 | nipkow | merged | changeset | files |
Tue, 24 Sep 2013 13:35:27 +0200 | nipkow | added lemmas | changeset | files |
Tue, 24 Sep 2013 12:11:53 +0200 | blanchet | honor MaSh's zero-overhead policy -- no learning if the tool is disabled | changeset | files |
Tue, 24 Sep 2013 11:57:43 +0200 | blanchet | adapted to reflect renaming of session | changeset | files |
Tue, 24 Sep 2013 11:33:56 +0200 | Andreas Lochbihler | merged | changeset | files |
Tue, 24 Sep 2013 10:35:37 +0200 | Andreas Lochbihler | make measure_of total | changeset | files |