X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita_homepage%2Fdocumentation.html;h=447e8c60cfc393ba26f6211ee7d76ba7f20ff9b9;hb=ec42be5fc6710a19612fd9434f4844621596975a;hp=52878708424012658840df0787b5ea7ea1404eda;hpb=1f982d1e1ac11be185291dfa57649246b182bbd0;p=helm.git diff --git a/helm/matita_homepage/documentation.html b/helm/matita_homepage/documentation.html index 528787084..447e8c60c 100644 --- a/helm/matita_homepage/documentation.html +++ b/helm/matita_homepage/documentation.html @@ -43,7 +43,8 @@ - +
+ testo qui