Completed
Push — master ( b93a87...00392a )
by Richard
05:47
created

PHP Classes Changes

No PHP Classes changes.

PHP Operations Changes

A Definition::withExplanation() added
A RuleParser::add_symbols_for_comments() added
A RuleParser::trim_explanation() added
B D RuleParser::root() got worse
A
Definition::explain() removed