Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |