3 <title>Matita home page - documentation</title>
4 <link type="text/css" rel="stylesheet" href="style.css"/>
8 <a class="upmenu" href=index.html>Matita Home</a>
9 <a class="upmenu" href=developers.html>Developers</a>
10 <a class="upmenu" href=documentation.html>Documentation</a>
11 <a class="upmenu" href=community.html>Community</a>
12 <a class="upmenu" href=download.html>Download</a>
14 <h1><span class="h1">User manual</span></h1>