From: Enrico Tassi Date: Mon, 12 Dec 2005 11:03:23 +0000 (+0000) Subject: fix X-Git-Tag: make_still_working~8026 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2f96ed63a40e2996bb4a249968e90fd0eef3f580;hp=14279be7b66787c16e89e937e02fc6141b23a215;p=helm.git fix --- 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
-
+