X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocumentation.html;h=9e67189217d708d4b46146750d1e92c7a55e0e25;hb=65040d32e75590b098df154c7ba0be66e62cace8;hp=447e8c60cfc393ba26f6211ee7d76ba7f20ff9b9;hpb=8fce94174a3641be17df8d83c6e7a895a8c373be;p=helm.git diff --git a/helm/www/matita/documentation.html b/helm/www/matita/documentation.html index 447e8c60c..9e6718921 100644 --- a/helm/www/matita/documentation.html +++ b/helm/www/matita/documentation.html @@ -1,56 +1,19 @@ - - Matita home page - documentation - - - - - - -

- - - - - - - - - - -

- - - - - - - - - - - - - - -

- Matita Home -

- Developers -

- Documentation -

- Community -

- Download -

-
- testo qui -

- - - - + + Matita home page - documentation + + + +

+ Matita Home + Developers + Documentation + Community + Download +

User manual

+ Please be patient... +