Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge remote-tracking branch 'origin/2.10.x' into merge-210 | Paul Phillips | 2013-02-10 | 1 | -3/+3 |
|\ | |||||
| * | term and type reftrees are now reified uniformly | Eugene Burmako | 2013-02-08 | 1 | -3/+3 |
* | | Changes reflection tests to use shorter name constructors | Den Shabalin | 2012-12-25 | 1 | -1/+1 |
|/ | |||||
* | tests for idempotency issues in the typechecker | Eugene Burmako | 2012-12-04 | 1 | -0/+4 |