Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Continuation of r16346 on filtering local definitions. Refined | 2013-03-30 | |
* | Evarconv: When doing a iota of a fixpoint, use constant name instead of fixpo... | 2013-02-25 | |
* | A small test for type inference (used to be a regression at some time). | 2011-12-04 |