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) +
+ + +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 @@ +
-- Please be patient... -
- ++ 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) +
+ + +