1 new patch (Doc Comments) is available. | |||
3 added classes/operations | |||
![]() |
A | Definition::withExplanation() added | |
![]() |
A | RuleParser::add_symbols_for_comments() added | |
![]() |
A | RuleParser::trim_explanation() added | |
B | ↘ | D | RuleParser::root() got worse |
Head | |
---|---|
⋮ | 1 more commit |
Base | |