Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Renamed tests named bugXXX to tXXX, no review. | Paul Phillips | 2011-08-24 | 1 | -14/+0 |
| | |||||
* | fixed bugs 802 and 807 (recursive lub problems). | Martin Odersky | 2006-11-17 | 1 | -0/+14 |
Changes system so that now an approximation of lub/glb is computed. |