| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |