Wed, 09 Nov 2011 14:30:03 +0100 | wenzelm | proper configuration option; | changeset | files |
Wed, 09 Nov 2011 14:15:44 +0100 | wenzelm | tuned layout; | changeset | files |
Wed, 09 Nov 2011 11:35:09 +0100 | bulwahn | more precise messages with the tester's name in quickcheck; tuned | changeset | files |