]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/matita/developers.shtml
From article to book
[helm.git] / helm / www / matita / developers.shtml
index f99082eefed7eeab7d9a641b50c725052c96c706..ffdf7616c18b7452c8b2ff865210a8add35ea431 100644 (file)
@@ -6,6 +6,13 @@
   </head>
   <body>
     <!--#include virtual="menubar.shtml" -->
+    <p>
+    The origin of Matita go back to 1999 and are intertwined with the
+    <a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a
+    lot of people contributed both ideas and source code that have made
+    Matita what it looks today. In this page we tried to summarize all
+    of them, we apologize for whom we forgot to mention.
+    </p>
     <h1><span class="h1">Current team members</span></h1>
     <ul>
       <li><a href="http://www.cs.unibo.it/~asperti/">Andrea Asperti</a> - Full Professor</li>
 
     <h1><span class="h1">Former members</span></h1>
     <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>
-
-    <h1><span class="h1">Students, developers and contributors</span></h1>
-    <ul>
-      <li>Pietro Di Lena</li>
-      <li>Michele Galatá</li>
-      <li>Alberto Griggio</li>
-      <li>Matteo Selmi</li>
-      <li>Vincenzo Tamburrelli</li>
+      <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a> - PhD</li>
+      <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a> - Researcher</li>
+      <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a> - PhD</li>
+      <li>Pietro Di Lena - Undergrad Student</li>
+      <li>Michele Galatá - Undergrad Student</li>
+      <li>Alberto Griggio - Undergrad Student</li>
+      <li>Matteo Selmi - Undergrad Student</li>
+      <li>Vincenzo Tamburrelli - Undergrad Student</li>
     </ul>
     <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
+<!-- $Id$ -->