Compare revisions

639e18a4 · 639e18a4 · 639e18a4 · 639e18a4 · 639e18a4 · 639e18a4
--- a/people/urabenstein.md
+++ b/people/urabenstein.md
--- a/people/vzholudev.md
+++ b/people/vzholudev.md
--- a/projects/FormalCAD.md
+++ b/projects/FormalCAD.md
--- a/projects/almanac.md
+++ b/projects/almanac.md
--- a/projects/arXMLiv.md
+++ b/projects/arXMLiv.md
--- a/projects/comma.md
+++ b/projects/comma.md
--- a/projects/current.md
+++ b/projects/current.md
--- a/projects/direga.md
+++ b/projects/direga.md
--- a/projects/former.md
+++ b/projects/former.md
--- a/projects/index.html
+++ b/projects/index.html
--- a/projects/jem.md
+++ b/projects/jem.md
--- a/projects/latin.md
+++ b/projects/latin.md
--- a/projects/logosphere.md
+++ b/projects/logosphere.md
--- a/projects/mamored.md
+++ b/projects/mamored.md
--- a/projects/mathsearch.md
+++ b/projects/mathsearch.md
--- a/projects/mdh.md
+++ b/projects/mdh.md
--- a/projects/README.md
+++ b/projects/README.md
--- a/projects/meta/completed.md
+++ b/projects/meta/completed.md
--- a/projects/meta/index.md
+++ b/projects/meta/index.md
--- a/projects/oaf-report.pdf
+++ b/projects/oaf-report.pdf
No results found