summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot
Commit message (Collapse)AuthorAgeFilesLines
* binary-annot: added some tools cmt2ml, cmt2annotbinary-annotFabrice Le Fessant2011-03-0110-13/+28
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/binary-annot@10965 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* binary-annot: added command genannotFabrice Le Fessant2010-11-2513-47/+1092
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/binary-annot@10860 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* binary-annot: new files and bug fixesFabrice Le Fessant2010-11-1610-3012/+2680
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/binary-annot@10808 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* binary-annot: new version saving .types file even when a typing error occursFabrice Le Fessant2010-11-135-37/+102
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/binary-annot@10800 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* binary-annot: new version from trunk passing testsuite OKFabrice Le Fessant2010-11-1172-1802/+5780
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/binary-annot@10795 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* New branch binary-annot by Fabrice Le Fessant from r10789Fabrice Le Fessant2010-11-112599-0/+494404
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/binary-annot@10790 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02