From 7536a3079a12e20bc5171e7d7403778c6830de36 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Fri, 20 Jan 2006 08:53:11 +0000 Subject: [PATCH] new version --- helm/matita_homepage/developers.html | 56 ++++++++++++++-------------- 1 file changed, 29 insertions(+), 27 deletions(-) diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index b23cebdb6..b41a1c210 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -37,37 +37,39 @@ - - - + + -
- -

Current team members

- + + +

Current team members

+ -

Former members

- +

Former members

+ -

Students, developers and contributors

- +

Students, developers and contributors

+ + + + + - -- 2.39.5