From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 20 Jan 2006 08:53:11 +0000 (+0000)
Subject: new version
X-Git-Tag: make_still_working~7803
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7536a3079a12e20bc5171e7d7403778c6830de36;p=helm.git

new version
---

diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html
index b23cebdb6..b41a1c210 100644
--- 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>