summaryrefslogtreecommitdiff
path: root/typing/cmi_format.ml
Commit message (Expand)AuthorAgeFilesLines
* re-commit Leo's weak-dependencies pull requestJacques Garrigue2014-05-071-2/+2
* revert commit 14719Jacques Garrigue2014-05-021-2/+2
* weak dependencies with -trans-mod (github/ocamllabs/weak-depends 45e980a,2185...Mark Shinwell2014-05-011-2/+2
* merge branch "safe-string"Damien Doligez2014-04-291-1/+3
* Integrate exception_registration banch.Alain Frisch2013-09-171-0/+7
* keep the text width to 80 columnsJacques Garrigue2012-05-311-10/+16
* merge with bin-annot: add missing filesFabrice Le Fessant2012-05-301-0/+87