Skip to content
Snippets Groups Projects
Commit 3c2cc485 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

tweaks

parent 7b300943
No related branches found
No related tags found
No related merge requests found
......@@ -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/).
......@@ -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/).
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment