| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Officially discontinue the experimental coq build via ocamlbuild |  Pierre Letouzey | 2016-06-08 |
| It has been accidentaly broken since early 2014 (and especially in 8.5), no easy repair, I won't devote any more hours to this stuff. Moreover no one seems to care apart from Emilio, but he's ok to work on this in a separate repository or branch. I left a dev/doc/ocamlbuild.txt file with a few words about this experiment. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |