Compare revisions

639e18a4 · 639e18a4 · 639e18a4 · 639e18a4 · 639e18a4 · 639e18a4
--- 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/run
+++ b/run
--- a/systems/TNTBase.md
+++ b/systems/TNTBase.md
--- a/systems/arXMLiv.md
+++ b/systems/arXMLiv.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
--- a/systems/krextor.md
+++ b/systems/krextor.md
--- a/systems/llamapun.md
+++ b/systems/llamapun.md
--- a/systems/mathhub.md
+++ b/systems/mathhub.md
No results found