update

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. &amp; Interaction</span></a>
+    <a href="kminteract"><span style="font-weight:bold">Knowledge Mgt. &amp; 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>