]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita1.0/menubar.shtml
update in ground and delayed_updating
[helm.git] / helm / www / matita1.0 / menubar.shtml
1 <!-- $Id$ -->
2
3 <div class="menu">  
4   <a class="quiet" href="index.shtml">
5     <img src="images/matita-small.png" alt="Small Matita logo" />
6   </a>
7   <ul>
8     <li> <a href="index.shtml">Matita Home</a> </li>
9     <li> <a href="documentation.shtml">Documentation</a> </li>
10     <li>
11       <a style="background-image: url(images/matita-library.png)"
12         href="library.shtml">
13           Library
14       </a>
15     </li>
16     <li> <a href="development.shtml">Developers</a> </li>
17     <li> <a href="community.shtml">Community</a> </li>
18     <li> <a href="download.shtml">Download</a> </li>
19   </ul>
20 </div>
21