(no commit message)

diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html
index d604eee5916d99e6f2b7182fe332f4389964d667..b23cebdb6a92612faffb8ff7d8f9eed75bb682b0 100644 (file)
--- 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>