Thu, 14 Jan 2010 15:06:38 +0100 | blanchet | reorder Quickcheck and Nitpick, so that Quickcheck gets loaded first and Auto-Quickcheck runs first (since it takes less time) | changeset | files |
Thu, 14 Jan 2010 09:18:08 +0100 | haftmann | adjusted to changes in code equation administration | changeset | files |
Wed, 13 Jan 2010 12:20:37 +0100 | haftmann | explicit abstract type of code certificates | changeset | files |
Wed, 13 Jan 2010 10:18:45 +0100 | haftmann | corrected error messages; tuned | changeset | files |
Wed, 13 Jan 2010 10:18:45 +0100 | haftmann | function transformer preprocessor applies to both code generators | changeset | files |
Wed, 13 Jan 2010 09:13:30 +0100 | haftmann | merged | changeset | files |