summaryrefslogtreecommitdiff
path: root/tools/ocamloptp.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge short-paths into a fresh branch of trunk.short-paths-4.01Jacques Garrigue2013-01-291-0/+1
|\
| * merge version/4.00 at revision 12866Jacques Garrigue2012-08-211-0/+158
* Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat.Alain Frisch2012-12-181-0/+1
* #5741: make Pprintast available from the command-line (-dsource).Alain Frisch2012-10-171-0/+1
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* merge changes from 4.00 branching to 4.00.0 (part 1)Damien Doligez2012-07-261-0/+158