From f165cd2b88211383cbd7fe25ba60ecee09df692a Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Tue, 2 Apr 2019 09:22:31 +0200
Subject: [PATCH] fixing links

---
 projects/arXMLiv.md | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/projects/arXMLiv.md b/projects/arXMLiv.md
index 91a9231..8fbb464 100644
--- a/projects/arXMLiv.md
+++ b/projects/arXMLiv.md
@@ -30,9 +30,8 @@ translate it to XML and "HTML5 with [MathML](http://www.w3.org/TR/MathML/)" via
 semantics (see the [LLaMaPuN](/systems/llamapun/) project for details).
 
 The actual corpus processing (and distribution to hundreds of worker machines) is
-performed by the [CorTeX](https://github.com/dginev/cortex) system; see the system
-state/results: [old but complete](http://cortex.mathweb.org/corpus/arXMLiv),
-[new system in Erlangen](https://corpora.mathweb.org/corpus/arxiv_1712/tex_to_html).
+performed by the [CorTeX](https://github.com/dginev/cortex) system; see the [system
+state/results on arXiv](https://corpora.mathweb.org/history/arxmliv/tex_to_html).
 
 Applications of this include a mathematical search engine [MathWebSearch](/systems/mws/): 
 (live [demo on the arXMLiv data set](http://arxivsearch.mathweb.org)). 
-- 
GitLab