Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update headers for the new license. | Damien Doligez | 2016-02-18 | 1 | -11/+14 |
* | Merge branch 4.01 from branching point to 4.01.0+rc1 | Damien Doligez | 2013-09-04 | 1 | -1/+2 |
* | Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat. | Alain Frisch | 2012-12-18 | 1 | -0/+2 |
* | removed bogus $Id lines | Damien Doligez | 2012-07-17 | 1 | -2/+0 |
* | merge with bin-annot: add missing files | Fabrice Le Fessant | 2012-05-30 | 1 | -0/+19 |