]> matita.cs.unibo.it Git - helm.git/commitdiff
Updated version
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Jan 2006 08:10:50 +0000 (08:10 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Jan 2006 08:10:50 +0000 (08:10 +0000)
helm/matita_homepage/developers.html

index 085c73ab5f48f0d53460a18febf632acdb9f33eb..10c0ad21270bcb9276e49de2e0eecdef675413ad 100644 (file)
@@ -9,14 +9,33 @@
  </style>
 
   <body>
-  
+    
+    <font size="-2" face="Arial, Helvetica, sans-serif">
+    <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/~asperti">Andrea Asperti</a></li>
-      <li><a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a></li>
-      <li><a href="http://www.cs.unibo.it/~tassi">Enrico Tassi</a></li>
-      <li><a href="http://www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a></li>
+      <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>