Compare revisions

bcfe6ac0 · bcfe6ac0 · bcfe6ac0 · bcfe6ac0 · bcfe6ac0 · ce09b6cc
--- a/public/odk_logo.png
+++ b/public/odk_logo.png
--- a/public/omdoc_logo.png
+++ b/public/omdoc_logo.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/twitter.png
+++ b/public/twitter.png
--- a/public/twitter_w.png
+++ b/public/twitter_w.png
--- a/public/www.jpg
+++ b/public/www.jpg
--- a/public/zbmath.png
+++ b/public/zbmath.png
--- a/research/formal-methods.md
+++ b/research/formal-methods.md
--- a/research/index.md
+++ b/research/index.md
--- a/research/kminteract.md
+++ b/research/kminteract.md
--- a/research/overview.md
+++ b/research/overview.md
--- a/research/semantization.md
+++ b/research/semantization.md
--- a/research/structural-semantics.md
+++ b/research/structural-semantics.md
--- a/run
+++ b/run
--- a/students/overview.md
+++ b/students/overview.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
No results found