new version

diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html
index b23cebdb6a92612faffb8ff7d8f9eed75bb682b0..b41a1c21011e4006828b742e02ab896191a0dbf6 100644 (file)
--- a/helm/matita_homepage/developers.html
+++ b/helm/matita_homepage/developers.html
@@ -37,37 +37,39 @@
                </td>
              </tr>
            </table>
-    </td>
-  </tr>
-</table>
+         </td>
+       </tr>
 
-<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>
+       <tr>
+         <td>
+           <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>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>
+           <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>