<font size="-1" face="Arial, Helvetica, sans-serif">
+ <br/>
+
<!-- Matita Header -->
- <table align=center border=1 bordercolor=#227722 bgcolor=#227722
- width=95% cellpadding=3>
+ <table align=center width=95% cellpadding=4>
<tr>
- <td bgcolor=#D0FFD0>
- <table align=center border=0 width=100%>
+ <td bgcolor="green">
+ <table bgcolor=#D0FFD0 align=center cellpadding=3 width=100%>
<tr>
- <td bgcolor=#D0FFD0 align=center>
+ <td align=center>
+ <a href=index.html>Matita Home</a>
+ </td>
+
+ <td align=center>
<a href=developers.html>Developers</a>
</td>
- <td bgcolor=#D0FFD0 align=center>
+ <td align=center>
<a href=documentation.html>Documentation</a>
</td>
- <td bgcolor=#D0FFD0 align=center>
+ <td align=center>
<a href=community.html>Community</a>
- </font>
+ </td>
+
+ <td align=center>
+ <a href=download.html>Download</a>
+ </td>
+ </tr>
+ </table>
</td>
- <td bgcolor=#D0FFD0 align=center>
+ </tr>
- <font face=arial size=3 color=#000000>
- <a href=download.html STYLE="text-decoration: none">Tool Download</a>
- </font>
- </td>
- <td bgcolor=#D0FFD0 align=center>
- <font face=arial size=3 color=#000000>
- <a href=benchmarks.html STYLE="text-decoration: none">Benchmark Suites</a>
- </font>
+ <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>
- </td>
- <td bgcolor=#D0FFD0 align=center>
- <font face=arial size=3 color=#000000>
- <a href=drafts.html STYLE="text-decoration: none">Draft Papers</a>
- </font>
+ <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>
-
- </td>
- </tr>
-</table>
-
-<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>
+
</font>
</body>
-
</html>