diff --git a/_includes/people_chip.html b/_includes/people_chip.html index de912b70d0ff7f6010bf8ae69b6539d9d18e71a7..c2a98d601dec096538930aa375fb6458bd04ee11 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 1e580d1e517933c2810a2043e3679fffc092a25e..13ea8e34ad64033e87a8e057b2a75b5749082868 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 b3debdaa7111af393568cc615661e840edd80c15..781ef1661707d662986a5e644c7e4706cd6906da 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 d2fa89467b8620b02c4f567dc800be1f3ced87ea..c150bdaf4ccd4f0aa594039fabb652d9f3bbf6ee 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 66ff34d0403a128154066e18dcf9c6750c4d4171..0839b1bef0bdb067c7c97ee9922dca7c76a80de0 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 e0a1e72f31187998e735a74267e7a9fe5f1e2a39..344ce75730eaff1b727f7546963a206da40e635b 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 0d1c224589df04b2c7a553eae5cee78f245965c8..c9fc688a8c60434cc42b2d84dd5ff86966bd62f7 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 c7be2dd018fe6a353f92f3df54659c5318a48690..0458ce570b1c469f67512ec8e11f656ca1f5ecbc 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 1565f11cf4450642162033f2f7ef8615f1e0b77b..77d318e8303fa19fa969cbb9fb41c88f6fa7db47 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 80468178c1874c92e2b4673a76652c8a163923b5..908fa41970c3a3854bec97c15cbb5210ed349dc9 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 c8508c6df1784a254fdbeed0b11302b50dd2d6ab..c3a8e4bc4b6ebb42401d504e96382fec213d3e38 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).