From: Enrico Tassi Date: Mon, 12 Dec 2005 11:14:26 +0000 (+0000) Subject: added developers X-Git-Tag: make_still_working~8025 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=ad67dbbe203cbb42e6d893bd268ebaf01bd2dd14;p=helm.git added developers --- diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index 12cea64f7..e962a0e5a 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -6,6 +6,13 @@ + +