| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | coq_makefile: Support "" as the prefix in _CoqProject |  Joachim Breitner | 2018-02-15 |
| This fixes #6350 (and even comes with a test case). Refering to other directories as `-R … ""` is maybe not best practice, but some people out there do it, so as long as it does not cause too much trouble, we can continue to support it. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |