Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Prelude : no more autoload of plugins extraction and recdef | Pierre Letouzey | 2017-06-14 |
* | Unset Asymmetric Patterns | pboutill | 2013-01-18 |
* | Extraction: avoid type-unsafe optimisation of pattern-matchings (fix #2413) | letouzey | 2010-12-21 |