adding more kwarc logos

systems/TNTBase.md

@@ -11,6 +11,7 @@ end_date: 2012-08
 people:
     - mkohlhase
     - vzholudev
+logo: public/kwarc_logo.svg
 publink: http://kwarc.github.io/bibs/tntbase
 ---
 

systems/jobad.md

@@ -6,12 +6,13 @@ shorttitle: JOBAD
 teaser: A Javascrip Framework for instrumenting Active Documents with Semantic Services
 start_date: 2008-09
 oprhan: true
-publink: http://kwarc.github.io/bibs/jobad
-repository: https://github.com/kwarc/jobad
 
 people: 
     - frabe
     - twiesing
+logo: public/kwarc_logo.svg
+publink: http://kwarc.github.io/bibs/jobad
+repository: https://github.com/kwarc/jobad
 ---
 
 JOBAD (JavaScript API for OMDoc-based Active Documents) is a javascript framework which

systems/kat.md

@@ -15,6 +15,7 @@ people:
 supported-by:
     - mathsearch
 
+logo: public/kwarc_logo.svg
 repository: https://github.com/KWARC/KAT
 publink: http://kwarc.github.io/bibs/kat
 ---

systems/llamapun.md

@@ -16,6 +16,7 @@ people:
 supported-by:
     - mathsearch
 
+logo: public/kwarc_logo.svg
 repository: https://github.com/KWARC/LLaMaPUn/
 publink: http://kwarc.github.io/bibs/llamapun
 ---

systems/mws.md

@@ -20,6 +20,7 @@ supported-by:
     - odk
 
 
+logo: public/kwarc_logo.svg
 website: http://search.mathweb.org
 repository: http://githhub.com/KWARC/mws
 publink: http://kwarc.github.io/bibs/mws

systems/openmathmap.md

@@ -14,6 +14,7 @@ people:
 
 supported-by:
     - mathsearch
+logo: public/kwarc_logo.svg
 website: http://map.mathweb.org
 repository: https://github.com/KWARC/openmathmap/
 ---

systems/sTeX.md

@@ -18,6 +18,7 @@ supported-by:
     - mathsearch
     - odk
 
+logo: public/kwarc_logo.svg
 repository: https://github.com/KWARC/sTeX
 publink: http://kwarc.github.io/bibs/sTeX
 ---

systems/sally.md

@@ -17,6 +17,7 @@ supported-by:
     - sissi
     - FormalCAD
 
+logo: public/kwarc_logo.svg
 repository: https://github.com/KWARC/Sally
 publink: http://kwarc.github.io/bibs/sally
 ---

systems/smglom.md

@@ -6,7 +6,6 @@ shorttitle: SMGLoM
 teaser: A terminological resource for Mathematics. 
 
 start_date: 2013-11
-publink: http://kwarc.github.io/bibs/smglom
 
 people: 
     - mkohlhase
@@ -18,6 +17,8 @@ people:
 supported-by:
     - mathsearch
     - odk
+logo: public/kwarc_logo.svg
+publink: http://kwarc.github.io/bibs/smglom
 ---
 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).
 

systems/swim.md

@@ -8,6 +8,7 @@ teaser: A Semantic Wiki for Interactive Mathematics.
 start_date: 2006-08
 end_date: 2009-06
 publink: http://kwarc.github.io/bibs/swim
+logo: public/kwarc_logo.svg
 
 people: 
     - clange