summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/typing
Commit message (Expand)AuthorAgeFilesLines
* binary-annot: added some tools cmt2ml, cmt2annotbinary-annotFabrice Le Fessant2011-03-013-11/+22
* binary-annot: added command genannotFabrice Le Fessant2010-11-257-14/+709
* binary-annot: new files and bug fixesFabrice Le Fessant2010-11-165-2978/+563
* binary-annot: new version saving .types file even when a typing error occursFabrice Le Fessant2010-11-135-37/+102
* binary-annot: new version from trunk passing testsuite OKFabrice Le Fessant2010-11-1131-1161/+4991
* New branch binary-annot by Fabrice Le Fessant from r10789Fabrice Le Fessant2010-11-1152-0/+20018