From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 11 Jun 2006 08:16:13 +0000 (+0000)
Subject: fix in the development page
X-Git-Tag: make_still_working~7216
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4c0736b3d362197b2548ac6d81ce6d4e9a19b37b;p=helm.git

fix in the development page
---

diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml
index 4454357a2..f4cdb2307 100644
--- a/helm/www/matita/development.shtml
+++ b/helm/www/matita/development.shtml
@@ -22,9 +22,9 @@
       <ul class="wide">
 	<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> - Lecturer </li>
+	<li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a> - PhD</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>
-	<li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a> - PhD</li>
       </ul>
 
       <h2>Former members</h2>