fixing links

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)).