| Tue, 03 Jul 2012 22:09:23 +0200 | haftmann | prefer hook in Admin/ to initialize components | changeset | files |
| Tue, 03 Jul 2012 21:51:16 +0200 | haftmann | corrected: avoid shadowing of variable | changeset | files |
| Tue, 03 Jul 2012 13:56:12 +0200 | bulwahn | merged | changeset | files |
| Mon, 02 Jul 2012 12:23:30 +0200 | bulwahn | adding some minimal documentation and an example of quickcheck's interfaces | changeset | files |
| Mon, 02 Jul 2012 11:45:19 +0200 | bulwahn | exporting important function for the "many conjecture refutation" compilation of quickcheck | changeset | files |
| Tue, 03 Jul 2012 09:31:41 +0200 | Andreas Lochbihler | merged | changeset | files |
| Tue, 03 Jul 2012 09:26:52 +0200 | Andreas Lochbihler | new type class for computing finiteness of types with instantiations | changeset | files |