helm/www/matita/documentation.html

   1 <html>
   2 <head>
   3         <title>Matita home page - documentation</title>
   4         <link type="text/css" rel="stylesheet" href="style.css"/>
   5 </head>
   6 <body>
   7         <div class="upmenu">
   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>
  13         </div>
  14         <h1><span class="h1">User manual</span></h1>
  15         <p>
  16                 Please be patient...
  17         </p>
  18 </body>
  19 </html>