Commit e7a4490d authored by Michael Kohlhase's avatar Michael Kohlhase

capitalization

parent 17e5d8ac
......@@ -33,7 +33,7 @@ menu_order: 101
<li><a href="https://omdoc.org">OMDoc</a></li>
<li><a href="http://uniformal.github.io">MMT: Modular Math Theories</a></li>
<li><a href="/projects/latin">Logic Morphisms/Atlas</a></li>
<li>advanced Type Theories</li>
<li>Advanced Type Theories</li>
<li><a href="/projects/oaf/">Theorem Prover</a> and <a href="../projects/odk/">Computer Algebra</a> Interoperability</li>
</ul>
</td>
......@@ -53,7 +53,7 @@ menu_order: 101
<ul>
<li><a href="/systems/arXMLiv/">LaTeX --&gt; XML</a></li>
<li><a href="/systems/sTeX/">sTeX: Semantic LaTeX</a></li>
<li>invasive editors</li>
<li>Invasive editors</li>
<li>Context-Aware IDEs</li>
<li>Mathematical Corpora</li>
<li><a href="/systems/llamapun/">Linguistics of Math</a></li>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment