<p> The source code of the user manual (in <a
href="http://www.oasis-open.org/docbook/">DocBook</a> format) is
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>
+ <a
+ href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fmatita%2Fmatita%2Fhelp%2FC%2F&#a984ecdd087e75087ba2f4b21276224c4">matita/help/C/</a> folder. </p>
+
+<!-- XXX: OUTDATED (WR)
<h2>Tutorials<a name="tutorial"></a></h2>
<a href="http://typessummerschool07.cs.unibo.it">types summer school 2007</a>
by C.Sacerdoti and E.Tassi.
</p>
+ -->
<h2>Publications</h2>
<!--#include virtual="papers.shtml" -->
+ <!-- XXX: OUTDATED (WR)
<h2>Large Developments</h2>
- <!--#include virtual="theses.shtml" -->
+ include virtual="theses.shtml"
+ -->
<!--#include virtual="bottombar.shtml" -->
</div>
</body>
+
</html>