From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 20 Jan 2006 08:47:20 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: make_still_working~7804
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=45a87e366a8096c28a226ef0ff2adf6e0b66cb85;p=helm.git

---

diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html
index d604eee59..b23cebdb6 100644
--- a/helm/matita_homepage/developers.html
+++ b/helm/matita_homepage/developers.html
@@ -29,28 +29,14 @@
 
 		<td bgcolor=#D0FFD0 align=center>
 		  <a href=community.html>Community</a>
-	    </font>
-	  </td>
-	  <td bgcolor=#D0FFD0 align=center>
-
-	    <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>
-
-	  </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>
-	  </td>
-	</tr>
-      </table>
+		</td>
+	
+		<td bgcolor=#D0FFD0 align=center>
 
+		  <a href=download.html>Download</a>
+		</td>
+	      </tr>
+	    </table>
     </td>
   </tr>
 </table>