From: Andrea Asperti Date: Fri, 20 Jan 2006 09:29:21 +0000 (+0000) Subject: Added header X-Git-Tag: make_still_working~7800 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1f982d1e1ac11be185291dfa57649246b182bbd0;p=helm.git Added header --- diff --git a/helm/matita_homepage/documentation.html b/helm/matita_homepage/documentation.html index d042a758d..528787084 100644 --- a/helm/matita_homepage/documentation.html +++ b/helm/matita_homepage/documentation.html @@ -6,7 +6,50 @@ + +

+ + + + + + + + + + +

+ + + + + + + + + + + + + + +

+ Matita Home +

+ Developers +

+ Documentation +

+ Community +

+ Download +

+ +