From 3b105524f95929efeb9d40040c09011e63753e1a Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Fri, 20 Jan 2006 08:46:33 +0000 Subject: [PATCH] Matita header --- helm/matita_homepage/developers.html | 48 +++++++++++++++++++++++++++- 1 file changed, 47 insertions(+), 1 deletion(-) diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index aad8963ee..d604eee59 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -9,8 +9,54 @@ - + + + + + + + +
+ + + + + + + + + + + +
+ Developers + + Documentation + + Community + + + + + Tool Download + + + + Benchmark Suites + + + + + Draft Papers + +
+ +
+ +
+

Current team members