summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/boot
Commit message (Expand)AuthorAgeFilesLines
* binary-annot: added some tools cmt2ml, cmt2annotbinary-annotFabrice Le Fessant2011-03-013-0/+0
* binary-annot: added command genannotFabrice Le Fessant2010-11-252-0/+0
* binary-annot: new version from trunk passing testsuite OKFabrice Le Fessant2010-11-113-0/+0
* New branch binary-annot by Fabrice Le Fessant from r10789Fabrice Le Fessant2010-11-115-0/+7