| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-10-17 | [doc] [build] Remove ocamlbuild leftovers. | Emilio Jesus Gallego Arias | |
| We had a brief leftovers of the ocamlbuild experiment that are not relevant anymore as it was removed from the tree a few years ago. p.s: The amount of cruft we have in the `dev/build/windows` folder is staggering, see for example what `git grep ocamlbuild` returns. | |||
| 2016-06-08 | Officially discontinue the experimental coq build via ocamlbuild | Pierre Letouzey | |
| 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 formal proof system |
| aboutsummaryrefslogtreecommitdiff |