Compare revisions

639e18a4 · 639e18a4 · 639e18a4 · 639e18a4 · 639e18a4 · 639e18a4
--- a/public/images/rmarcus.jpg
+++ b/public/images/rmarcus.jpg
--- a/public/leibniz_logo.svg
+++ b/public/leibniz_logo.svg
--- a/public/material-icons/LICENSE
+++ b/public/material-icons/LICENSE
--- a/public/material-icons/flUhRq6tzZclQEJ-Vdg-IuiaDsNc.woff2
+++ b/public/material-icons/flUhRq6tzZclQEJ-Vdg-IuiaDsNc.woff2
--- a/public/material-icons/font.css
+++ b/public/material-icons/font.css
--- a/public/omdoc_logo.png
+++ b/public/omdoc_logo.png
--- a/public/orcid.png
+++ b/public/orcid.png
--- a/public/proposal_jbetzendahl.pdf
+++ b/public/proposal_jbetzendahl.pdf
--- a/public/pubs.jpg
+++ b/public/pubs.jpg
--- a/public/researchgate.jpg
+++ b/public/researchgate.jpg
--- a/public/www.jpg
+++ b/public/www.jpg
--- a/public/zbmath.png
+++ b/public/zbmath.png
--- a/research/index.md
+++ b/research/index.md
--- a/research/structural-semantics.md
+++ b/research/structural-semantics.md
--- a/systems/TNTBase.md
+++ b/systems/TNTBase.md
--- a/systems/cpoint.md
+++ b/systems/cpoint.md
--- a/systems/frameit.md
+++ b/systems/frameit.md
--- a/systems/jobad.md
+++ b/systems/jobad.md
--- a/systems/jomdoc.md
+++ b/systems/jomdoc.md
--- a/systems/kat.md
+++ b/systems/kat.md
No results found