X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fmatita_homepage%2Fmatita.xcf;h=d4b1804fa76d4b5d94ab962fbc4552252ffb72d0;hb=12f52743d6334941294b857016de05942e89a584;hp=f8bdda3800af0fda7c41d3c09992b16c8d1ac3cd;hpb=dfed126791398d57e02d3d2301fe5c174f0b1936;p=helm.git diff --git a/helm/matita_homepage/matita.xcf b/helm/matita_homepage/matita.xcf index f8bdda380..d4b1804fa 100644 Binary files a/helm/matita_homepage/matita.xcf and b/helm/matita_homepage/matita.xcf differ