]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita/documentation.shtml
new makefiles
[helm.git] / helm / www / matita / documentation.shtml
1 <!-- $Id$ -->
2 <!--#include virtual="xhtml-header.shtml" -->
3 <html>
4   <head>
5     <title>Matita - Documentation</title>
6     <!--#include virtual="xhtml-meta.shtml" -->
7   </head>
8   <body>
9     <!--#include virtual="menubar.shtml" -->
10     <div class="main">
11       <h1>Matita Documentation</h1>
12
13       <h2>User Manual<a name="manual"></a></h2>
14
15       <p> The Matita User Manual is accessible from Matita itself via the
16       <a href="http://developer.gnome.org/arch/doc/help.html">GNOME Help
17         System</a>, just hit <kbd>&lt;F1&gt;</kbd> while running Matita and it
18       will be shown to you. </p>
19
20       <p> Alternatively you can browse it in
21       <!--<a href="http://www.w3.org/TR/xhtml1/">-->XHTML<!--</a>--> format:
22       </p>
23       <ul>
24         <li> <a href="docs/manual/">Matita User Manual (XHTML format, multiple pages)</a>
25         </li>
26       </ul>
27
28       <p> The source code of the user manual (in <a
29         href="http://www.oasis-open.org/docbook/">DocBook</a> format) is
30       available from our repository, in the
31       <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2Fhelp%2FC%2F&amp;rev=0&amp;sc=0">matita/help/C/</a> folder. </p>
32
33       <!--
34       <h2>Papers</h2>
35       <!+-#include virtual="papers.shtml" -+>
36       -->
37
38       <!--#include virtual="bottombar.shtml" -->
39     </div>
40   </body>
41 </html>