| 1 new patch (Spacing) is available. | |||
| 18 added classes/operations | |||
|
A | RangeDifference::getLeftLength() added | |
|
A | RangeDifference::getAncestorLength() added | |
|
A | RangeDifference::setAncestorLength() added | |
|
A | RangeDifference::setLeftLength() added | |
|
A | RangeDifference::getLeftEnd() added | |
|
A | RangeDifference::getAncestorStart() added | |
|
A | RangeDifference::setRightStart() added | |
|
A | RangeDifference::setAncestorStart() added | |
|
A | RangeDifference::setKind() added | |
|
A | RangeDifference::getRightEnd() added | |
| B | ↗ | A | RangeDifference::__toString() improved |
| view all | |||
| Head | |
|---|---|
| ⋮ | 1 more commit |
| Base | |