summaryrefslogtreecommitdiff
path: root/transfer/doc/mathpartir.sty
AgeCommit message (Expand)Author
2008-06-26removed transfer from gf3aarne
2006-03-03Transfer: added beginnings of a type checking algorithm description.bringert