"git@gl.kwarc.info:richardmarcus/www.git" did not exist on "3618d66727466199a3be5677a5cf9b0a592665a4"
Showing
- people/rmarcus.md 37 additions, 0 deletionspeople/rmarcus.md
- people/sanca.md 13 additions, 0 deletionspeople/sanca.md
- people/sdumbrava.md 22 additions, 0 deletionspeople/sdumbrava.md
- people/swille.md 10 additions, 0 deletionspeople/swille.md
- people/tpollinger.md 27 additions, 0 deletionspeople/tpollinger.md
- people/twiesing.md 32 additions, 0 deletionspeople/twiesing.md
- people/urabenstein.md 21 additions, 0 deletionspeople/urabenstein.md
- people/vzholudev.md 21 additions, 0 deletionspeople/vzholudev.md
- projects/FormalCAD.md 17 additions, 5 deletionsprojects/FormalCAD.md
- projects/almanac.md 37 additions, 0 deletionsprojects/almanac.md
- projects/arXMLiv.md 46 additions, 0 deletionsprojects/arXMLiv.md
- projects/comma.md 33 additions, 0 deletionsprojects/comma.md
- projects/current.md 0 additions, 16 deletionsprojects/current.md
- projects/direga.md 29 additions, 0 deletionsprojects/direga.md
- projects/former.md 0 additions, 18 deletionsprojects/former.md
- projects/jem.md 19 additions, 6 deletionsprojects/jem.md
- projects/latin.md 19 additions, 5 deletionsprojects/latin.md
- projects/logosphere.md 19 additions, 5 deletionsprojects/logosphere.md
- projects/mamored.md 63 additions, 0 deletionsprojects/mamored.md
- projects/mathsearch.md 16 additions, 6 deletionsprojects/mathsearch.md
people/rmarcus.md
0 → 100644
This diff is collapsed.
people/sanca.md
0 → 100644
This diff is collapsed.
people/sdumbrava.md
0 → 100644
This diff is collapsed.
people/swille.md
0 → 100644
This diff is collapsed.
people/tpollinger.md
0 → 100644
This diff is collapsed.
people/twiesing.md
0 → 100644
This diff is collapsed.
people/urabenstein.md
0 → 100644
This diff is collapsed.
people/vzholudev.md
0 → 100644
This diff is collapsed.
This diff is collapsed.
projects/almanac.md
0 → 100644
This diff is collapsed.
projects/arXMLiv.md
0 → 100644
This diff is collapsed.
projects/comma.md
0 → 100644
This diff is collapsed.
projects/current.md
deleted
100644 → 0
This diff is collapsed.
projects/direga.md
0 → 100644
This diff is collapsed.
projects/former.md
deleted
100644 → 0
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
projects/mamored.md
0 → 100644
This diff is collapsed.
This diff is collapsed.