From c3697eaa0d45507e5dfea09171ac1b0bda73fe05 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Fri, 20 Jan 2006 08:10:50 +0000 Subject: [PATCH] Updated version --- helm/matita_homepage/developers.html | 29 +++++++++++++++++++++++----- 1 file changed, 24 insertions(+), 5 deletions(-) diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index 085c73ab5..10c0ad212 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -9,14 +9,33 @@ - + + +

Current team members

+ + +

Former members

+

Students, developers and contributors

+ + + -- 2.39.2