| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-03-10 | test coq-makefile/camldep: try to build a cmx only when there is an ocamlopt | Ralf Treinen |
| 2018-11-13 | coq_makefile: Fix ocamldep ignoring mlg files | Gaëtan Gilbert |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |