summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/Makefile
Commit message (Expand)AuthorAgeFilesLines
* binary-annot: added some tools cmt2ml, cmt2annotbinary-annotFabrice Le Fessant2011-03-011-1/+1
* binary-annot: added command genannotFabrice Le Fessant2010-11-251-1/+1
* binary-annot: new files and bug fixesFabrice Le Fessant2010-11-161-2/+4
* binary-annot: new version from trunk passing testsuite OKFabrice Le Fessant2010-11-111-2/+2
* New branch binary-annot by Fabrice Le Fessant from r10789Fabrice Le Fessant2010-11-111-0/+771