aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/library.mllib
Commit message (Expand)AuthorAge
* correct some ends of .mllib files (avoid a broken tolink.ml)Gravatar letouzey2012-08-24
* global_reference migrated from Libnames to new Globnames, less deps in gramma...Gravatar letouzey2012-05-29
* Decl_kinds becomes a pure mli file, remaining ops in new file kindops.mlGravatar letouzey2012-05-29
* First attempt at making Print Assumption compatible with opaque modules (fix ...Gravatar letouzey2011-10-25
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20