Document: matita-manual
Title: Matita user manual
Author: HELM Team
Abstract: User manual of the Matita interactive theorem prover.
Section: Science/Mathematics

Format: PDF
Files: /usr/share/doc/matita-doc/pdf/matita.pdf

Format: HTML
Index: /usr/share/doc/matita-doc/html/index.html
Files: /usr/share/doc/matita-doc/html/*
