X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita_homepage%2Fdevelopers.html;h=9e9c336fc05b74f0fe7972861b924878609fc9e8;hb=ed308fc03be5397081ac0e00bbc73b3f71da1e67;hp=f6d9ab18137de50f7f8790214524db44fd8fdf6c;hpb=670cb5c17cf59b0b7c7f3e5a5e00797780284428;p=helm.git diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index f6d9ab181..9e9c336fc 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -9,14 +9,72 @@
+ + + +
+
|
+ |||||
+ + Current team members+
Former members+
Students, developers and contributors+
|
+