| Wed, 20 Jul 2011 08:16:42 +0200 | bulwahn | deactivating quickcheck invocation in this example until the Interrupt issue is understood | changeset | files |
| Wed, 20 Jul 2011 08:16:41 +0200 | bulwahn | removing inner time limits in quickcheck | changeset | files |
| Wed, 20 Jul 2011 08:16:39 +0200 | bulwahn | updating documentation about quickcheck; adding information about try | changeset | files |
| Wed, 20 Jul 2011 08:16:38 +0200 | bulwahn | adapting example in Predicate_Compile_Examples | changeset | files |