Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix test suite after change in extraction. | 2015-12-15 | |
* | Adapt test-suite/output/Extraction_matchs_2413 to new indentation of extraction | 2011-03-16 | |
* | Extraction: avoid type-unsafe optimisation of pattern-matchings (fix #2413) | 2010-12-21 |