+<!-- $Id$ -->
+
<div class="menu">
+ <a class="quiet" href="index.shtml">
+ <img src="images/matita-small.png" alt="Small Matita logo" />
+ </a>
<ul>
<li> <a href="index.shtml">Matita Home</a> </li>
<li> <a href="documentation.shtml">Documentation</a> </li>
<li> <a href="download.shtml">Download</a> </li>
</ul>
</div>
+