Mon, 22 Nov 2010 10:42:07 +0100 | bulwahn | changed old-style quickcheck configurations to new Config.T configurations | changeset | files |
Mon, 22 Nov 2010 10:42:06 +0100 | bulwahn | adding temporary function test_test_small to Quickcheck | changeset | files |