| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-10-02 | [ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0 | Emilio Jesus Gallego Arias |
| 2018-05-04 | Fix #7413: coqdep warning on repeated files | Gaëtan Gilbert |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2017-07-04 | Merge branch 'v8.6' | Pierre-Marie Pédrot |
| 2017-06-27 | A cleaning phase about ocaml file names. | Hugo Herbelin |
| 2017-05-30 | make sure that "ocamllibdep" properly recognizes Ocaml modules that are all u... | Matej Košík |
| 2017-05-28 | Fail on deprecated warning even for Ocaml > 4.02.3 | Gaëtan Gilbert |
| 2016-06-15 | ocamllibdep + coqdep : simpler deps concerning .mllib and .mlpack | Pierre Letouzey |
| 2016-06-08 | Compilation via pack for plugins of the stdlib | Pierre Letouzey |
| 2016-01-01 | Remove useless recursive flags. | Guillaume Melquiond |
| 2015-12-14 | Remove some occurrences of Unix.opendir. | Guillaume Melquiond |
| 2015-02-16 | New short stand-alone ocamllibdep to build .mllib dependencies files. | Hugo Herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |