From 8dda93d9a34ca29816bbc3b4b35b0c2b4421f57c Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Fri, 1 May 2020 13:11:07 +0200
Subject: [PATCH] update
---
research/index.md | 13 +++++++------
1 file changed, 7 insertions(+), 6 deletions(-)
diff --git a/research/index.md b/research/index.md
index 1f69ecf..2a1eb73 100644
--- a/research/index.md
+++ b/research/index.md
@@ -38,16 +38,16 @@ hidden: true
</ul>
</td>
<td style="border: 1px solid black">
- <a href="research/kminteract"><span style="font-weight:bold">Knowledge Mgt. & Interaction</span></a>
+ <a href="kminteract"><span style="font-weight:bold">Knowledge Mgt. & Interaction</span></a>
<ul>
<li>Semantic Interpretation</li>
- <li><a href="https://github.com/KWARC/jobad">JOBAD: Document-Embedded Interaction</a></li>
<li><a href="/systems/mws/">Math Web Search</a></li>
- <li>Math Archives</li>
+ <li><a href="/systems/mathhub/">MathHub</a></li>
+ <li><a href="/systems/frameit/">Serious Games</a></li>
</ul>
</td>
<td style="border: 1px solid black">
- <a href="research/semantization">
+ <a href="semantization">
<span style="font-weight:bold">Semantization</span>
</a>
<ul>
@@ -55,8 +55,9 @@ hidden: true
<li><a href="/systems/sTeX/">sTeX: Semantic LaTeX</a></li>
<li>Invasive editors</li>
<li>Context-Aware IDEs</li>
- <li>Mathematical Corpora</li>
- <li><a href="/systems/llamapun/">Linguistics of Math</a></li>
+ <li>Mathematical <a href="http://gl.mathhub.info">Corpora</a> and <a
+ href="sigmathling.kwarc.info>data sets></li>
+ <li><a href="/projects/comma/">Linguistics of Math</a></li>
</ul>
</td>
</tr>
--
GitLab