From e7a4490d24c608c1ede100455964c9ea89037e99 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Fri, 25 Aug 2017 08:20:25 +0200
Subject: [PATCH] capitalization
---
research/index.md | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/research/index.md b/research/index.md
index 4c4d401..9864047 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>
--
GitLab