3 new patches (Spacing, Indentation) are available. | |||
2 added classes/operations | |||
![]() |
A | HierarchicalTerm added | |
![]() |
A | HierarchicalTerm::detectLoop() added |
Head | |
---|---|
⋮ | 6 more commits |
Base | |