Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2007-04-11 | remove import of module checksupport | johnvg | 1 | -2/+1 |
2004-06-22 | bug fix: introduce Char type constructor for Char type (instead of Int) | ronny | 1 | -1/+1 |
2004-04-19 | remove TC; types | ronny | 1 | -26/+9 |
2004-03-24 | bug fix for semi-abstract type definitons: generate type function for all typ... | ronny | 1 | -2/+4 |
2004-03-23 | bug fix numbering of type variables | ronny | 1 | -22/+28 |
2004-03-23 | moved main module number and common defs from state to info parameter | ronny | 1 | -19/+21 |
2004-03-23 | introduced info parameter for reify functions | ronny | 1 | -50/+57 |
2004-03-23 | clean up: introduced quote function for strings | ronny | 1 | -5/+7 |
2004-03-23 | renamed variable | ronny | 1 | -4/+4 |
2004-03-23 | bug fix: number universal variables of field | ronny | 1 | -1/+2 |
2004-03-19 | change prefix "TD_" to "TD;" | ronny | 1 | -1/+1 |
2004-03-19 | bug fix: correct function kind | ronny | 1 | -1/+1 |
2004-03-19 | bug fix: use correct index for constructor in constructor definition | ronny | 1 | -7/+8 |
2004-03-17 | reification of type definitions | ronny | 1 | -0/+719 |