From 078ea4d83b8198f8c7c844f8820f043175148572 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Fri, 6 Apr 2018 11:39:47 +0200
Subject: [PATCH] ooopas no png
---
projects/arXMLiv.md | 2 +-
projects/comma.md | 2 +-
projects/mamored.md | 2 +-
projects/tetrapod.md | 2 +-
4 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/projects/arXMLiv.md b/projects/arXMLiv.md
index f00f786..91a9231 100644
--- a/projects/arXMLiv.md
+++ b/projects/arXMLiv.md
@@ -17,7 +17,7 @@ collaborators:
- Dr. Bruce Miller (NIST)
- various Jacobs University undergrads
-logo: public/kwarc_logo.png
+logo: public/kwarc_logo.svg
website: http://cortex.mathweb.org
repository: https://github.com/dginev/CorTeX
---
diff --git a/projects/comma.md b/projects/comma.md
index a67eaa6..795e7f4 100644
--- a/projects/comma.md
+++ b/projects/comma.md
@@ -12,7 +12,7 @@ people:
- mkohlhase
- dginev
- jfschaefer
-logo: public/kwarc_logo.png
+logo: public/kwarc_logo.svg
funding: internal
---
diff --git a/projects/mamored.md b/projects/mamored.md
index 977dc07..cb12726 100644
--- a/projects/mamored.md
+++ b/projects/mamored.md
@@ -20,7 +20,7 @@ collaborators:
- Dr. Wolfram Sperber (FIZ Karlsruhe)
- Dr. Karsten Tabelow (WIAS Berlin)
- Dr. Olaf Teschke (FIZ Karlsruhe)
-logo: public/kwarc_logo.png
+logo: public/kwarc_logo.svg
funding: internal
---
The MaMoReD projects studies whether and how the flexiformalization of mathematical
diff --git a/projects/tetrapod.md b/projects/tetrapod.md
index 1b09958..25ff017 100644
--- a/projects/tetrapod.md
+++ b/projects/tetrapod.md
@@ -18,7 +18,7 @@ collaborators:
- Prof. William Farmer (McMaster University)
- Prof. Jacques Carette (McMaster University)
-logo: public/kwarc_logo.png
+logo: public/kwarc_logo.svg
funding: internal
---
--
GitLab