| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | [coqpp] Move to its own directory. |  Emilio Jesus Gallego Arias | 2018-07-11 |
| Coqpp has nothing to do with `grammar`, we thus place it in its own directory, which will prove convenient in more modular build systems. Note that we add `coqpp` to the list of global includes, we could have indeed added some extra rules, but IMHO not worth it as hopefully proper containment will be soon checked by Dune. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |