From: Enrico Tassi Date: Mon, 12 Dec 2005 10:53:44 +0000 (+0000) Subject: first draft X-Git-Tag: make_still_working~8028 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=dfed126791398d57e02d3d2301fe5c174f0b1936;p=helm.git first draft --- diff --git a/helm/matita_homepage/bg.png b/helm/matita_homepage/bg.png new file mode 100644 index 000000000..cca288a99 Binary files /dev/null and b/helm/matita_homepage/bg.png differ diff --git a/helm/matita_homepage/matita.html b/helm/matita_homepage/matita.html new file mode 100644 index 000000000..229bf9643 --- /dev/null +++ b/helm/matita_homepage/matita.html @@ -0,0 +1,64 @@ + + + Matita home page + + + + + +
+ + +
+
1. Developers
+
+
2. Documentation
+
+
3. Community
+
+
4. Download
+
+
+
+ + + + diff --git a/helm/matita_homepage/matita.png b/helm/matita_homepage/matita.png new file mode 100644 index 000000000..38a36b77d Binary files /dev/null and b/helm/matita_homepage/matita.png differ diff --git a/helm/matita_homepage/matita.xcf b/helm/matita_homepage/matita.xcf new file mode 100644 index 000000000..f8bdda380 Binary files /dev/null and b/helm/matita_homepage/matita.xcf differ