summaryrefslogtreecommitdiffstats
path: root/typing/cmt_format.mli
AgeCommit message (Expand)Author
2012-07-12Fix problem of size of bin-annot filesFabrice Le Fessant
2012-05-31keep the text width to 80 columnsJacques Garrigue
2012-05-30merge with bin-annot: add missing filesFabrice Le Fessant