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)