Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Adding a test for the construction that was broken in Coccinelle. | Pierre-Marie Pédrot | 2018-02-16 |
There was no test in the test-suite checking for double with-def constraints in module typing. |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Adding a test for the construction that was broken in Coccinelle. | Pierre-Marie Pédrot | 2018-02-16 |
There was no test in the test-suite checking for double with-def constraints in module typing. |