From 1f982d1e1ac11be185291dfa57649246b182bbd0 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Fri, 20 Jan 2006 09:29:21 +0000 Subject: [PATCH] Added header --- helm/matita_homepage/documentation.html | 43 +++++++++++++++++++++++++ 1 file changed, 43 insertions(+) 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 +
+
+ +
+ + -- 2.39.2