X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita_homepage%2Fdevelopers.html;h=9e9c336fc05b74f0fe7972861b924878609fc9e8;hb=a7063fc0997a9d9eae6c329443e67ab92c4b6a0f;hp=10c0ad21270bcb9276e49de2e0eecdef675413ad;hpb=c3697eaa0d45507e5dfea09171ac1b0bda73fe05;p=helm.git diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index 10c0ad212..9e9c336fc 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -9,33 +9,72 @@ - - -

Current team members

- - -

Former members

- - -

Students, developers and contributors

- + + + +
+ + + + + + + + + + +
+ + + + + + + + + + + + +
+ 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
  • +
+
+
-