From 4c0736b3d362197b2548ac6d81ce6d4e9a19b37b Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 11 Jun 2006 08:16:13 +0000
Subject: [PATCH] fix in the development page

---
 helm/www/matita/development.shtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>
-- 
2.39.2