| 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 | |