summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* binary-annot: added some tools cmt2ml, cmt2annotbinary-annotFabrice Le Fessant2011-03-0120-13/+677
* binary-annot: added command genannotFabrice Le Fessant2010-11-2514-47/+1102
* binary-annot: new files and bug fixesFabrice Le Fessant2010-11-1611-3013/+2689
* binary-annot: new version saving .types file even when a typing error occursFabrice Le Fessant2010-11-137-40/+117
* binary-annot: new version from trunk passing testsuite OKFabrice Le Fessant2010-11-1173-1802/+5816
* New branch binary-annot by Fabrice Le Fessant from r10789Fabrice Le Fessant2010-11-112599-0/+494404