Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge short-paths into a fresh branch of trunk.short-paths-4.01 | Jacques Garrigue | 2013-01-29 | 1 | -0/+1 |
|\ | |||||
| * | merge version/4.00 at revision 12866 | Jacques Garrigue | 2012-08-21 | 1 | -0/+158 |
* | Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat. | Alain Frisch | 2012-12-18 | 1 | -0/+1 |
* | #5741: make Pprintast available from the command-line (-dsource). | Alain Frisch | 2012-10-17 | 1 | -0/+1 |
* | remove all $Id keywords | Damien Doligez | 2012-10-15 | 1 | -2/+0 |
* | merge changes from 4.00 branching to 4.00.0 (part 1) | Damien Doligez | 2012-07-26 | 1 | -0/+158 |