| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-07-11 | [coqpp] Move to its own directory. | Emilio Jesus Gallego Arias | |
| 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 formal proof system |
| aboutsummaryrefslogtreecommitdiff |