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>