From a27b780ecd65f60b22f1c4bbe94fbc834071e808 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Fri, 6 Apr 2018 11:54:11 +0200
Subject: [PATCH] adding more kwarc logos
---
systems/TNTBase.md | 1 +
systems/jobad.md | 5 +++--
systems/kat.md | 1 +
systems/llamapun.md | 1 +
systems/mws.md | 1 +
systems/openmathmap.md | 1 +
systems/sTeX.md | 1 +
systems/sally.md | 1 +
systems/smglom.md | 3 ++-
systems/swim.md | 1 +
10 files changed, 13 insertions(+), 3 deletions(-)
diff --git a/systems/TNTBase.md b/systems/TNTBase.md
index 0e04a05..7d2eb93 100644
--- a/systems/TNTBase.md
+++ b/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
---
diff --git a/systems/jobad.md b/systems/jobad.md
index 6254e70..1c1a63f 100644
--- a/systems/jobad.md
+++ b/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
diff --git a/systems/kat.md b/systems/kat.md
index 275b6e3..6fa6254 100644
--- a/systems/kat.md
+++ b/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
---
diff --git a/systems/llamapun.md b/systems/llamapun.md
index 5ae64ab..005ff89 100644
--- a/systems/llamapun.md
+++ b/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
---
diff --git a/systems/mws.md b/systems/mws.md
index f41016f..076b220 100644
--- a/systems/mws.md
+++ b/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
diff --git a/systems/openmathmap.md b/systems/openmathmap.md
index 6ec412c..58c3275 100644
--- a/systems/openmathmap.md
+++ b/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/
---
diff --git a/systems/sTeX.md b/systems/sTeX.md
index 01ed543..221bf0c 100644
--- a/systems/sTeX.md
+++ b/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
---
diff --git a/systems/sally.md b/systems/sally.md
index 9acdfc1..96ecc4a 100644
--- a/systems/sally.md
+++ b/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
---
diff --git a/systems/smglom.md b/systems/smglom.md
index 211f484..7fb6fbe 100644
--- a/systems/smglom.md
+++ b/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).
diff --git a/systems/swim.md b/systems/swim.md
index e0b1977..ee98e94 100644
--- a/systems/swim.md
+++ b/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
--
GitLab