From 2f96ed63a40e2996bb4a249968e90fd0eef3f580 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 12 Dec 2005 11:03:23 +0000 Subject: [PATCH 1/1] fix --- helm/matita_homepage/community.html | 12 ++++++++++++ helm/matita_homepage/developers.html | 12 ++++++++++++ helm/matita_homepage/documentation.html | 12 ++++++++++++ helm/matita_homepage/download.html | 12 ++++++++++++ helm/matita_homepage/matita.html | 8 ++++---- 5 files changed, 52 insertions(+), 4 deletions(-) create mode 100644 helm/matita_homepage/community.html create mode 100644 helm/matita_homepage/developers.html create mode 100644 helm/matita_homepage/documentation.html create mode 100644 helm/matita_homepage/download.html diff --git a/helm/matita_homepage/community.html b/helm/matita_homepage/community.html new file mode 100644 index 000000000..0115f2d38 --- /dev/null +++ b/helm/matita_homepage/community.html @@ -0,0 +1,12 @@ + + + Matita home page - community + + + + + + + + diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html new file mode 100644 index 000000000..12cea64f7 --- /dev/null +++ b/helm/matita_homepage/developers.html @@ -0,0 +1,12 @@ + + + Matita home page - developers + + + + + + + + diff --git a/helm/matita_homepage/documentation.html b/helm/matita_homepage/documentation.html new file mode 100644 index 000000000..d042a758d --- /dev/null +++ b/helm/matita_homepage/documentation.html @@ -0,0 +1,12 @@ + + + Matita home page - documentation + + + + + + + + diff --git a/helm/matita_homepage/download.html b/helm/matita_homepage/download.html new file mode 100644 index 000000000..82c2d8d4d --- /dev/null +++ b/helm/matita_homepage/download.html @@ -0,0 +1,12 @@ + + + Matita home page - download + + + + + + + + diff --git a/helm/matita_homepage/matita.html b/helm/matita_homepage/matita.html index 0283ee735..e661c3b01 100644 --- a/helm/matita_homepage/matita.html +++ b/helm/matita_homepage/matita.html @@ -50,13 +50,13 @@
1. Developers
-
+
2. Documentation
-
+
3. Community
-
+
4. Download
-
+
-- 2.39.2