]> 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: d14cf11)
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 14:21:37 +0000 (14:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 14:21:37 +0000 (14:21 +0000)
helm/matita_homepage/developers.html patch | blob | history

diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html
index f6d9ab18137de50f7f8790214524db44fd8fdf6c..085c73ab5f48f0d53460a18febf632acdb9f33eb 100644 (file)
--- a/helm/matita_homepage/developers.html
+++ b/helm/matita_homepage/developers.html
@@ -11,10 +11,10 @@
   <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>
+      <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>
     </ul>
 
   </body>
Unnamed repository; edit this file 'description' to name the repository.