Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fixed bugs 54, 415 | Martin Odersky | 2006-10-30 | 1 | -4/+8 |
| | | | | | Improved avoidance of MalformedType's | ||||
* | simplified printing of refinement types -- no m... | Martin Odersky | 2006-09-22 | 1 | -1/+2 |
| | | | | | | simplified printing of refinement types -- no more override flags adapted two check files in tests | ||||
* | fixed several old bugs | Martin Odersky | 2006-03-31 | 1 | -0/+4 |