<div class="main">
<h1>Matita Documentation</h1>
- <h2>User Manual</h2>
+ <h2>User Manual<a name="manual"></a></h2>
<p> The Matita User Manual is accessible from Matita itself via the
<a href="http://developer.gnome.org/arch/doc/help.html">GNOME Help
available from our repository, in the
<a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2Fhelp%2FC%2F&rev=0&sc=0">matita/help/C/</a> folder. </p>
- <!--
- <h2>Papers</h2>
- <!+-#include virtual="papers.shtml" -+>
- -->
+
+ <h2>Publications</h2>
+ <!--#include virtual="papers.shtml" -->
<!--#include virtual="bottombar.shtml" -->
</div>