X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita_homepage%2Fdevelopers.html;h=9e9c336fc05b74f0fe7972861b924878609fc9e8;hb=489ee5290cce2247291b8c5c53b98d493e7f6b99;hp=d604eee5916d99e6f2b7182fe332f4389964d667;hpb=3b105524f95929efeb9d40040c09011e63753e1a;p=helm.git

diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html
index d604eee59..9e9c336fc 100644
--- a/helm/matita_homepage/developers.html
+++ b/helm/matita_homepage/developers.html
@@ -12,76 +12,69 @@
         
     <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>