diff --git a/research/index.md b/research/index.md index 4c4d401eaddd4599ce0b68e901794930223f5591..9864047d156cbff72da04b42612ab0c2ef149838 100644 --- a/research/index.md +++ b/research/index.md @@ -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 --> 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>