summaryrefslogtreecommitdiffstats
path: root/typing/cmi_format.mli
AgeCommit message (Collapse)Author
2014-05-07re-commit Leo's weak-dependencies pull requestJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14755 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-02revert commit 14719Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14723 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-01weak dependencies with -trans-mod (github/ocamllabs/weak-depends ↵Mark Shinwell
45e980a,21856a7,merge) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14719 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-30merge with bin-annot: add missing filesFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12517 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02