From 3c2cc48555b9c18cfdcc729c7a331e027a4b3eb1 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Mon, 26 Jun 2017 07:36:39 +0200
Subject: [PATCH] tweaks
---
projects/meta/completed.md | 4 ++--
projects/meta/index.md | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/projects/meta/completed.md b/projects/meta/completed.md
index 3d33fdb..ff88309 100644
--- a/projects/meta/completed.md
+++ b/projects/meta/completed.md
@@ -14,7 +14,7 @@ permalink: /projects/completed/
{% endfor %}
</ul>
-#### Completed Internal Projects
+#### Former Internal Projects
We also organize some of our research and development into Projects,
<ul class="collection">
@@ -24,6 +24,6 @@ We also organize some of our research and development into Projects,
</ul>
#### System Projects
-Completed projects that focused on building particular systems can be found under [KWARC Systems](../../systems/completed/).
+Completed projects that focused on building particular systems can be found under [KWARC Systems](../../systems/historic/).
diff --git a/projects/meta/index.md b/projects/meta/index.md
index 52ee273..cea1d32 100644
--- a/projects/meta/index.md
+++ b/projects/meta/index.md
@@ -30,4 +30,4 @@ external researchers:
</ul>
#### System Projects
-Projects that are focused on building particular systems can be found under [KWARC Systems](../../systems/).
+Internal projects that are focused on building particular systems can be found under [KWARC Systems](../../systems/).
--
GitLab