| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Test case for bug #3217 |  Jason Gross | 2014-04-10 |
| It was fixed in c3feef4ed5dec126f1144dec91eee9c0f0522a94. The test case uses [Timeout 2] to test for "Coq runs instantaneously rather than running out of memory". Hopefully this is robust enough. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |