From 4471d4096496f8bcea16a2b0ec3999cbd8931f57 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Sat, 1 Jul 2017 15:51:49 +0200 Subject: [PATCH] links --- research/index.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/research/index.md b/research/index.md index 3d79aa4..5745897 100644 --- a/research/index.md +++ b/research/index.md @@ -41,9 +41,8 @@ menu_order: 101 <a href="research/kminteract"><span style="font-weight:bold">Knowledge Mgt. & Interaction</span></a> <ul> <li>Semantic Interpretation</li> - <li><a href="https://trac.omdoc.org/JOBAD">JOBAD: Document-Embedded Interaction</a></li> - <li><a href="https://trac.mathweb.org/tntbase">TNTBase: Versioned XML Storage</a></li> - <li><a href="http://trac.mathweb.org/MWS">Math Web Search</a></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> </ul> </td> -- GitLab