X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita_homepage%2Fcommunity.html;h=240e4edb751172d902bf2ee035ba6d0c9ec06508;hb=d44115e936254b8d77b12a659f5e5d8ca85d8663;hp=0115f2d383bafb853d3d7fcf3404db1fb7c600bb;hpb=2f96ed63a40e2996bb4a249968e90fd0eef3f580;p=helm.git diff --git a/helm/matita_homepage/community.html b/helm/matita_homepage/community.html index 0115f2d38..240e4edb7 100644 --- a/helm/matita_homepage/community.html +++ b/helm/matita_homepage/community.html @@ -6,7 +6,51 @@ + +

+ + + + + + + + + + +
+ + + + + + + + + + + + + + +
+ Matita Home + + Developers + + Documentation + + Community + + Download +
+
+
+ testo qui +
+ +