<table><tr><td style="">aaronpuchert created this revision.<br />Restricted Application added a project: Frameworks.
</td><a style="text-decoration: none; padding: 4px 8px; margin: 0 8px 8px; float: right; color: #464C5C; font-weight: bold; border-radius: 3px; background-color: #F7F7F9; background-image: linear-gradient(to bottom,#fff,#f1f0f1); display: inline-block; border: 1px solid rgba(71,87,120,.2);" href="https://phabricator.kde.org/D7280" rel="noreferrer">View Revision</a></tr></table><br /><div><strong>REVISION SUMMARY</strong><div><p>Metamath is a formal language to express mathematical theorems and<br />
proofs developed by Norman Megill. [1, 2]</p>

<p>The language is defined in the documentation [3, Chapter 4]. The syntax<br />
highlighter is a bit lenient sometimes. When encountering symbols, we<br />
highlight them as variables, because only semantic analysis could tell<br />
if they are symbols instead.</p>

<p>The test is a modified version of the file demo0.mm in [4], where I<br />
removed most of the comments.</p>

<p>I'm not sure if we should set a priority, because apparently Objective-<br />
C++ files have the same extension. Right now it is a toss-up between the<br />
two languages.</p>

<p>[1] <a href="http://us.metamath.org/" class="remarkup-link" target="_blank" rel="noreferrer">http://us.metamath.org/</a><br />
[2] <a href="https://en.wikipedia.org/wiki/Metamath" class="remarkup-link" target="_blank" rel="noreferrer">https://en.wikipedia.org/wiki/Metamath</a><br />
[3] <a href="http://us.metamath.org/downloads/metamath.pdf" class="remarkup-link" target="_blank" rel="noreferrer">http://us.metamath.org/downloads/metamath.pdf</a><br />
[4] <a href="http://us.metamath.org/downloads/metamath.tar.bz2" class="remarkup-link" target="_blank" rel="noreferrer">http://us.metamath.org/downloads/metamath.tar.bz2</a></p></div></div><br /><div><strong>REPOSITORY</strong><div><div>R216 Syntax Highlighting</div></div></div><br /><div><strong>BRANCH</strong><div><div>metamath</div></div></div><br /><div><strong>REVISION DETAIL</strong><div><a href="https://phabricator.kde.org/D7280" rel="noreferrer">https://phabricator.kde.org/D7280</a></div></div><br /><div><strong>AFFECTED FILES</strong><div><div>autotests/folding/test.mm.fold<br />
autotests/html/test.mm.html<br />
autotests/input/test.mm<br />
autotests/input/test.mm.syntax<br />
autotests/reference/test.mm.ref<br />
data/syntax/metamath.xml</div></div></div><br /><div><strong>To: </strong>aaronpuchert, Frameworks<br /></div>