| 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 |