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

Reply via email to