X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=e0f6c053d80f7173685b51d65a786a9890aa621a;hb=d62d1b28015b18a515bdf81e2a8f658d158fae5a;hp=3046178a3f3565568a960b34ce3bd5c00127fb98;hpb=f98eeb911a76531c36d1da56e07eb48568f37734;p=helm.git diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml index 3046178a3..e0f6c053d 100644 --- a/helm/www/matita/documentation.shtml +++ b/helm/www/matita/documentation.shtml @@ -1,16 +1,26 @@ + - Matita home page - documentation - + Matita - Documentation + -

User manual

-

- Please be patient... -

- +
+

Matita Documentation

+ +

User manual

+

+ We are working on the user manual of Matita. The current status is + available in our + svn repository + in the + matita/help directory + (in DocBook format) +

+ + +
-