Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | binary-annot: added some tools cmt2ml, cmt2annotbinary-annot | Fabrice Le Fessant | 2011-03-01 | 10 | -13/+28 |
* | binary-annot: added command genannot | Fabrice Le Fessant | 2010-11-25 | 13 | -47/+1092 |
* | binary-annot: new files and bug fixes | Fabrice Le Fessant | 2010-11-16 | 10 | -3012/+2680 |
* | binary-annot: new version saving .types file even when a typing error occurs | Fabrice Le Fessant | 2010-11-13 | 5 | -37/+102 |
* | binary-annot: new version from trunk passing testsuite OK | Fabrice Le Fessant | 2010-11-11 | 72 | -1802/+5780 |
* | New branch binary-annot by Fabrice Le Fessant from r10789 | Fabrice Le Fessant | 2010-11-11 | 2599 | -0/+494404 |