summaryrefslogtreecommitdiff
path: root/typing/printtyped.mli
Commit message (Expand)AuthorAgeFilesLines
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez2013-09-041-1/+2
* Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat.Alain Frisch2012-12-181-0/+2
* removed bogus $Id linesDamien Doligez2012-07-171-2/+0
* merge with bin-annot: add missing filesFabrice Le Fessant2012-05-301-0/+19