X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita_homepage%2Fdocumentation.html;h=447e8c60cfc393ba26f6211ee7d76ba7f20ff9b9;hb=44ca09e150b9080c5abd93191b7ee6e0f2dbb4f6;hp=d042a758d0afce53ddc88c8314a91eb84d956bd5;hpb=2f96ed63a40e2996bb4a249968e90fd0eef3f580;p=helm.git diff --git a/helm/matita_homepage/documentation.html b/helm/matita_homepage/documentation.html index d042a758d..447e8c60c 100644 --- a/helm/matita_homepage/documentation.html +++ b/helm/matita_homepage/documentation.html @@ -6,7 +6,51 @@ + +

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