Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Removed TrackingConstraint | Martin Odersky | 2015-01-31 | 1 | -0/+4 |
* | Refinement of dependent parameter handling in OrderingConstraint | Martin Odersky | 2015-01-28 | 1 | -8/+59 |
* | Fixups taking into account reviewer's comments. | Martin Odersky | 2015-01-27 | 1 | -6/+6 |
* | Replace only substitutes top-level types. | Martin Odersky | 2015-01-24 | 1 | -32/+53 |
* | New constraint implementation: OrderingConstraint | Martin Odersky | 2015-01-24 | 1 | -0/+481 |