From ec42be5fc6710a19612fd9434f4844621596975a Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Fri, 20 Jan 2006 09:33:10 +0000 Subject: [PATCH] Added header to all files. --- helm/matita_homepage/community.html | 44 +++++++++++++++++++++++++ helm/matita_homepage/documentation.html | 3 +- helm/matita_homepage/download.html | 44 +++++++++++++++++++++++++ 3 files changed, 90 insertions(+), 1 deletion(-) 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 +
+ + -- 2.39.2