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