From: Andrea Asperti Date: Fri, 20 Jan 2006 09:33:10 +0000 (+0000) Subject: Added header to all files. X-Git-Tag: make_still_working~7799 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ec42be5fc6710a19612fd9434f4844621596975a;p=helm.git Added header to all files. --- diff --git a/helm/matita_homepage/community.html b/helm/matita_homepage/community.html index 0115f2d38..240e4edb7 100644 --- a/helm/matita_homepage/community.html +++ b/helm/matita_homepage/community.html @@ -6,7 +6,51 @@ + +

+ + + + + + + + + + +
+ + + + + + + + + + + + + + +
+ Matita Home + + Developers + + Documentation + + Community + + Download +
+
+
+ testo qui +
+ + diff --git a/helm/matita_homepage/documentation.html b/helm/matita_homepage/documentation.html index 528787084..447e8c60c 100644 --- a/helm/matita_homepage/documentation.html +++ b/helm/matita_homepage/documentation.html @@ -43,7 +43,8 @@ - +
+ testo qui diff --git a/helm/matita_homepage/download.html b/helm/matita_homepage/download.html index 82c2d8d4d..e53796fe8 100644 --- a/helm/matita_homepage/download.html +++ b/helm/matita_homepage/download.html @@ -6,7 +6,51 @@ + +

+ + + + + + + + + + +
+ + + + + + + + + + + + + + +
+ Matita Home + + Developers + + Documentation + + Community + + Download +
+
+
+ testo qui +
+ +