X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita_homepage%2Fdevelopers.html;h=9e9c336fc05b74f0fe7972861b924878609fc9e8;hb=489ee5290cce2247291b8c5c53b98d493e7f6b99;hp=e962a0e5af08d05839701a191c9738b3bc40a80d;hpb=ad67dbbe203cbb42e6d893bd268ebaf01bd2dd14;p=helm.git diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index e962a0e5a..9e9c336fc 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -3,17 +3,78 @@ Matita home page - developers + + + +
+ + + + + + + + + + +
+ + + - + + + + + + + + +
+ Matita Home + + Developers + + Documentation + + Community + + Download +
+
+
+

Current team members

+ + +

Former members

+ +

Students, developers and contributors

+
    +
  • Pietro Di Lena
    • +
  • Michele Galata'
    • +
  • Alberto Griggio
    • +
  • Matteo Selmi
    • +
  • Vincenzo Tamburrelli
    • +
+
+ +