X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=e0f6c053d80f7173685b51d65a786a9890aa621a;hb=223f17d088cd8bf01f9314580fc34e66256841ac;hp=361fdb0a69b72ed890cd58b67cdf44d9c9048358;hpb=391f9cda43ee8c6d032358e86d12d3633e107a61;p=helm.git diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml index 361fdb0a6..e0f6c053d 100644 --- a/helm/www/matita/documentation.shtml +++ b/helm/www/matita/documentation.shtml @@ -1,13 +1,15 @@ + - Matita home page - documentation - + Matita - Documentation +

Matita Documentation

+

User manual

We are working on the user manual of Matita. The current status is @@ -17,8 +19,8 @@ matita/help directory (in DocBook format)

+ +
- -