From 756718f146561610abb5e1ae77f3633ff52ca20d Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Tue, 3 Apr 2018 16:34:39 +0200 Subject: [PATCH] acknowledging funding --- _includes/people_chip.html | 4 ++-- _layouts/system.html | 4 ++-- systems/kat.md | 3 +++ systems/llamapun.md | 3 +++ systems/mathhub.md | 6 ++++++ systems/meta/index.md | 4 ++-- systems/mws.md | 5 +++++ systems/openmathmap.md | 2 ++ systems/sTeX.md | 5 +++++ systems/sally.md | 4 ++++ systems/smglom.md | 4 ++++ 11 files changed, 38 insertions(+), 6 deletions(-) diff --git a/_includes/people_chip.html b/_includes/people_chip.html index de912b7..c2a98d6 100644 --- a/_includes/people_chip.html +++ b/_includes/people_chip.html @@ -9,7 +9,7 @@ {% if pp %} <a href="{{ site.baseurl }}{{purl}}"> <div class="chip"> - <img src="{{ site.baseurl }}/{{pp.pic}}"> + <img src="{{ site.baseurl }}/{{pp.pic}}"/> {{pp.fullname}} </div> </a> @@ -17,4 +17,4 @@ <div class="chip"> {{person}} </div> -{% endif %} \ No newline at end of file +{% endif %} diff --git a/_layouts/system.html b/_layouts/system.html index 1e580d1..13ea8e3 100644 --- a/_layouts/system.html +++ b/_layouts/system.html @@ -12,13 +12,13 @@ layout: default {% if page.start_date %} <p> - <b>From:</b> + <b>Start:</b> {% assign date = page.start_date %} {% include date.html %} {% if page.end_date %} <br /> - <b>To:</b> + <b>End:</b> {% assign date = page.end_date %} {% include date.html %} {% endif %} diff --git a/systems/kat.md b/systems/kat.md index b3debda..781ef16 100644 --- a/systems/kat.md +++ b/systems/kat.md @@ -11,6 +11,9 @@ people: - mkohlhase - twiesing +supported-by: + - mathsearch + repository: https://github.com/KWARC/KAT publink: http://kwarc.github.io/bibs/kat --- diff --git a/systems/llamapun.md b/systems/llamapun.md index d2fa894..c150bda 100644 --- a/systems/llamapun.md +++ b/systems/llamapun.md @@ -12,6 +12,9 @@ people: - jfschaefer - itoloaca +supported-by: + - mathsearch + repository: https://github.com/KWARC/LLaMaPUn/ publink: http://kwarc.github.io/bibs/llamapun --- diff --git a/systems/mathhub.md b/systems/mathhub.md index 66ff34d..0839b1b 100644 --- a/systems/mathhub.md +++ b/systems/mathhub.md @@ -12,6 +12,12 @@ people: - cjucovschi - twiesing +supported-by: + - mathsearch + - oaf + - odk + - latin + website: http://mathhub.info repository: https://github.com/KWARC/mathhub publink: http://kwarc.github.io/bibs/mathhub diff --git a/systems/meta/index.md b/systems/meta/index.md index e0a1e72..344ce75 100644 --- a/systems/meta/index.md +++ b/systems/meta/index.md @@ -1,6 +1,6 @@ --- layout: default -title: Systems +title: Systems and Libraries permalink: /systems/ --- @@ -12,4 +12,4 @@ permalink: /systems/ {% include psitem.html %} {% endunless %} {% endfor %} -</ul> \ No newline at end of file +</ul> diff --git a/systems/mws.md b/systems/mws.md index 0d1c224..c9fc688 100644 --- a/systems/mws.md +++ b/systems/mws.md @@ -14,6 +14,11 @@ people: - rhambasan - ahambasan +supported-by: + - mathsearch + - odk + + website: http://search.mathweb.org repository: http://githhub.com/KWARC/mws publink: http://kwarc.github.io/bibs/mws diff --git a/systems/openmathmap.md b/systems/openmathmap.md index c7be2dd..0458ce5 100644 --- a/systems/openmathmap.md +++ b/systems/openmathmap.md @@ -11,6 +11,8 @@ orphan: true people: - mkohlhase +supported-by: + - mathsearch website: http://map.mathweb.org repository: https://github.com/KWARC/openmathmap/ --- diff --git a/systems/sTeX.md b/systems/sTeX.md index 1565f11..77d318e 100644 --- a/systems/sTeX.md +++ b/systems/sTeX.md @@ -9,6 +9,11 @@ people: - mkohlhase - dginev +supported-by: + - sissi + - mathsearch + - odk + repository: https://github.com/KWARC/sTeX publink: http://kwarc.github.io/bibs/sTeX --- diff --git a/systems/sally.md b/systems/sally.md index 8046817..908fa41 100644 --- a/systems/sally.md +++ b/systems/sally.md @@ -12,6 +12,10 @@ people: - akohlhase - cjucovschi +supported-by: + - sissi + - FormalCAD + repository: https://github.com/KWARC/Sally publink: http://kwarc.github.io/bibs/sally --- diff --git a/systems/smglom.md b/systems/smglom.md index c8508c6..c3a8e4b 100644 --- a/systems/smglom.md +++ b/systems/smglom.md @@ -13,6 +13,10 @@ people: - miancu - twiesing - jfschaefer + +supported-by: + - mathsearch + - odk --- The SMGloM is a structured terminology for mathematics. It combines lexical information about the "Words of Mathematics" (in multiple languages) with semantic information about their dependencies. Multiple services can be derived from this terminology, e.g. a [classical glossary](https://mathhub.info/mh/glossary) and a [math dictionary](https://mathhub.info/mh/dictionary). -- GitLab