From: Enrico Tassi Date: Mon, 9 Jan 2006 11:05:06 +0000 (+0000) Subject: added again the bin files X-Git-Tag: make_still_working~7887 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6373043a374a936c612636adc2265f8d2c279713;p=helm.git added again the bin files --- diff --git a/helm/matita_homepage/bg.png b/helm/matita_homepage/bg.png new file mode 100644 index 000000000..a3d5532d4 Binary files /dev/null and b/helm/matita_homepage/bg.png differ diff --git a/helm/matita_homepage/matita.png b/helm/matita_homepage/matita.png new file mode 100644 index 000000000..7ef6f4b9b 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..d4b1804fa Binary files /dev/null and b/helm/matita_homepage/matita.xcf differ