]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2f96ed6)
added developers
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 11:14:26 +0000 (11:14 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 11:14:26 +0000 (11:14 +0000)
helm/matita_homepage/developers.html patch | blob | history

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>
  </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>
 
 
   </body>
 
Unnamed repository; edit this file 'description' to name the repository.