aaronpuchert added a comment.
There are screenshots of other (known) syntax highlighters for Metamath on their homepage <http://us.metamath.org/screen1.html>. REPOSITORY R216 Syntax Highlighting REVISION DETAIL https://phabricator.kde.org/D7280 To: aaronpuchert, #frameworks
