Sun, 16 Dec 2012 21:27:23 +0100 | wenzelm | HOL-Quickcheck_Benchmark works without timeout (NB: isatest imposes global timeout already); | changeset | files |
Sun, 16 Dec 2012 19:23:04 +0100 | blanchet | tuning | changeset | files |
Sun, 16 Dec 2012 19:13:19 +0100 | bulwahn | merged | changeset | files |