From 097dc31e5722745dd76036160609c314b6d176f4 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Fri, 1 May 2020 14:15:18 +0200
Subject: [PATCH] thypos
---
research/index.md | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/research/index.md b/research/index.md
index f95448e..9a78acc 100644
--- a/research/index.md
+++ b/research/index.md
@@ -54,8 +54,7 @@ hidden: true
<li><a href="/projects/arXMLiv/">LaTeX --> XML</a></li>
<li><a href="/systems/sTeX/">sTeX: Semantic LaTeX</a></li>
<li>Context-Aware IDEs</li>
- <li>Mathematical <a href="http://gl.mathhub.info">Corpora</a> and <a
- href="sigmathling.kwarc.info>data sets></li>
+ <li>Mathematical <a href="http://gl.mathhub.info">Corpora</a> and <a href="sigmathling.kwarc.info">data sets</a></li>
<li><a href="/projects/comma/">Linguistics of Math</a></li>
</ul>
</td>
--
GitLab