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

more

parent 0adad0e4
No related branches found
No related tags found
No related merge requests found
......@@ -6,17 +6,24 @@ permalink: /projects/completed/
{% assign projects = site.pages | where: "layout", "project" | where: "active", false | sort: "end_date" | reverse %}
This page lists the completed projects of the KWARC group
([projects with current, external funding](../).
#### Completed, externally funded Projects ([projects with current funding](../).
<ul class="collection">
{% for item in projects %}
{% include psitem.html %}
{% if item.funding %} {% include psitem.html %} {% endif %}
{% endfor %}
</ul>
#### Completed Internal Projects
We also organize some of our research and development into Projects,
<ul class="collection">
{% for item in projects %}
{% unless item.funding %} {% include psitem.html %} {% endunless %}
{% endfor %}
</ul>
#### System Projects
Completed projects that focused on building particular systems can be found under [KWARC Systems](../../systems/completed/).
......@@ -4,23 +4,22 @@ title: Projects
permalink: /projects/
---
{% assign projects = site.pages | where: "layout", "project" | where: "active", true | sort: "start_date" %}
#### Projects with current, external funding ([completed projects](../completed)).
{% assign projects = site.pages | where: "layout", "project" | where: "active", true | sort: "start_date" %}
<ul class="collection">
{% for item in projects %}
{% include psitem.html %}
{% if item.funding %} {% include psitem.html %} {% endif %}
{% endfor %}
</ul>
#### Internal Projects
We also organize some of our research and development into Projects,
{% assign internal = site.pages | where: "layout", "project" | where: "active", true | where: "funding" | sort: "start_date" %}
<ul class="collection">
{% for item in internal %}
{% include psitem.html %}
{% for item in projects %}
{% unless item.funding %} {% include psitem.html %} {% endunless %}
{% endfor %}
</ul>
......
......@@ -2,11 +2,10 @@
layout: project
title: Tetrapod
teaser:
teaser: All four dimensions of Mathematical Knowledge Processing
active: false
start_date: '22005'
end_date: '2008'
start_date: '2011-12'
people:
- mkohlhase
......
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