summaryrefslogtreecommitdiff
path: root/typing/cmt_format.ml
Commit message (Expand)AuthorAgeFilesLines
* Record inclusion checks between value_descriptions in .cmt files. This makes...Alain Frisch2014-01-281-2/+14
* Synchronize with trunk.Alain Frisch2013-07-161-2/+2
|\
| * #5980: explicit way to silence the new warning (open! X).Alain Frisch2013-05-161-2/+2
* | Starting to keep attributes in the typedtree.Alain Frisch2013-03-251-2/+2
|/
* #5809: remove hash-consing of environments, replaced by a much cheaper one-sl...Alain Frisch2012-11-081-21/+1
* Fix problem of size of bin-annot filesFabrice Le Fessant2012-07-121-3/+97
* #5640: use open_in_bin to read cmt files.Alain Frisch2012-06-081-1/+1
* #5639: Write cmt files with open_out_bin.Alain Frisch2012-06-081-1/+1
* keep the text width to 80 columnsJacques Garrigue2012-05-311-10/+8
* merge with bin-annot: add missing filesFabrice Le Fessant2012-05-301-0/+158