Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | binary-annot: added some tools cmt2ml, cmt2annotbinary-annot | Fabrice Le Fessant | 2011-03-01 | 3 | -11/+22 |
* | binary-annot: added command genannot | Fabrice Le Fessant | 2010-11-25 | 7 | -14/+709 |
* | binary-annot: new files and bug fixes | Fabrice Le Fessant | 2010-11-16 | 5 | -2978/+563 |
* | 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 | 31 | -1161/+4991 |
* | New branch binary-annot by Fabrice Le Fessant from r10789 | Fabrice Le Fessant | 2010-11-11 | 52 | -0/+20018 |