From a2f28c0d90de67d78a6cde6b29d729af1fbd0a4a Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Tue, 2 Apr 2019 09:23:45 +0200 Subject: [PATCH] links --- projects/arXMLiv.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/projects/arXMLiv.md b/projects/arXMLiv.md index 8fbb464..ff99f01 100644 --- a/projects/arXMLiv.md +++ b/projects/arXMLiv.md @@ -10,15 +10,15 @@ publink: http://kwarc.github.io/bibs/arXMLiv funding: internal people: - - mkohlhase - dginev + - mkohlhase collaborators: - Dr. Bruce Miller (NIST) - various Jacobs University undergrads logo: public/kwarc_logo.svg -website: http://cortex.mathweb.org +website: http://corpora.mathweb.org repository: https://github.com/dginev/CorTeX --- -- GitLab