| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix test suite after change in extraction. |  Maxime Dénès | 2015-12-15 |
| * | Adapt test-suite/output/Extraction_matchs_2413 to new indentation of extraction |  letouzey | 2011-03-16 |
| * | Extraction: avoid type-unsafe optimisation of pattern-matchings (fix #2413) | letouzey | 2010-12-21 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |