aaronpuchert created this revision. Restricted Application added a project: Frameworks.
REVISION SUMMARY Metamath is a formal language to express mathematical theorems and proofs developed by Norman Megill. [1, 2] The language is defined in the documentation [3, Chapter 4]. The syntax highlighter is a bit lenient sometimes. When encountering symbols, we highlight them as variables, because only semantic analysis could tell if they are symbols instead. The test is a modified version of the file demo0.mm in [4], where I removed most of the comments. I'm not sure if we should set a priority, because apparently Objective- C++ files have the same extension. Right now it is a toss-up between the two languages. [1] http://us.metamath.org/ [2] https://en.wikipedia.org/wiki/Metamath [3] http://us.metamath.org/downloads/metamath.pdf [4] http://us.metamath.org/downloads/metamath.tar.bz2 REPOSITORY R216 Syntax Highlighting BRANCH metamath REVISION DETAIL https://phabricator.kde.org/D7280 AFFECTED FILES autotests/folding/test.mm.fold autotests/html/test.mm.html autotests/input/test.mm autotests/input/test.mm.syntax autotests/reference/test.mm.ref data/syntax/metamath.xml To: aaronpuchert, #frameworks
