<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>
</td>
- <td bgcolor=#D0FFD0 align=center>
-
+ <td align=center>
<a href=download.html>Download</a>
</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>
+ <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>
<h2>Students, developers and contributors</h2>
<ul>
<li>Pietro Di Lena</li>
- <li>Michele Galata'.</li>
+ <li>Michele Galata'</li>
<li>Alberto Griggio</li>
<li>Matteo Selmi</li>
<li>Vincenzo Tamburrelli</li>