added developers

[helm.git] / helm / matita_homepage / developers.html
diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html

index 12cea64f7d3c7609dfba574178c10c47c4174845..e962a0e5af08d05839701a191c9738b3bc40a80d 100644 (file)
--- a/helm/matita_homepage/developers.html
+++ b/helm/matita_homepage/developers.html
@@ -6,6 +6,13 @@
   </style>
  
    <body>
+  
+    <ul>
+      <li><a href="www.cs.unibo.it/~asperti">Andrea Asperti</a></li>
+      <li><a href="www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a></li>
+      <li><a href="www.cs.unibo.it/~tassi">Enrico Tassi</a></li>
+      <li><a href="www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a></li>
+    </ul>
  
    </body>