</style>
<body>
+
+ <font size="-1" face="Arial, Helvetica, sans-serif">
+
+ <br/>
+
+ <!-- Matita Header -->
+ <table align=center width=95% cellpadding=4>
+ <tr>
+ <td bgcolor="green">
+ <table bgcolor=#D0FFD0 align=center cellpadding=3 width=100%>
+ <tr>
+ <td align=center>
+ <a href=index.html>Matita Home</a>
+ </td>
- <ul>
- <li><a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a></li>
- <li><a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a></li>
- <li><a href="http://www.cs.unibo.it/~tassi">Enrico Tassi</a></li>
- <li><a href="http://www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a></li>
- </ul>
+ <td align=center>
+ <a href=developers.html>Developers</a>
+ </td>
+
+ <td align=center>
+ <a href=documentation.html>Documentation</a>
+ </td>
+
+ <td align=center>
+ <a href=community.html>Community</a>
+ </td>
+
+ <td align=center>
+ <a href=download.html>Download</a>
+ </td>
+ </tr>
+ </table>
+ </td>
+ </tr>
+
+ <tr>
+ <td>
+ <Br>
+ <h2>Current team members</h2>
+ <ul>
+ <li><a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a> - Full Professor</li>
+ <li><a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a> - Researcher </li>
+ <li><a href="http://www.cs.unibo.it/~tassi">Enrico Tassi</a> - PhD Student</li>
+ <li><a href="http://www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a> - PhD Student</li>
+ </ul>
+
+ <h2>Former members</h2>
+ <ul>
+ <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a></li>
+ <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a></li>
+ <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a></li>
+ </ul>
+ <h2>Students, developers and contributors</h2>
+ <ul>
+ <li>Pietro Di Lena</li>
+ <li>Michele Galata'</li>
+ <li>Alberto Griggio</li>
+ <li>Matteo Selmi</li>
+ <li>Vincenzo Tamburrelli</li>
+ </ul>
+ </td>
+ </tr>
+ </table>
+
+ </font>
</body>
</html>
projects / helm.git / blobdiff