aboutsummaryrefslogtreecommitdiff
path: root/frontend/typereify.icl
AgeCommit message (Expand)AuthorFilesLines
2004-03-23introduced info parameter for reify functionsronny1-50/+57
2004-03-23clean up: introduced quote function for stringsronny1-5/+7
2004-03-23renamed variableronny1-4/+4
2004-03-23bug fix: number universal variables of fieldronny1-1/+2
2004-03-19change prefix "TD_" to "TD;"ronny1-1/+1
2004-03-19bug fix: correct function kindronny1-1/+1
2004-03-19bug fix: use correct index for constructor in constructor definitionronny1-7/+8
2004-03-17reification of type definitionsronny1-0/+719