From: Ferruccio Guidi Date: Thu, 29 Sep 2011 19:49:44 +0000 (+0000) Subject: new colors for the crux ... X-Git-Tag: make_still_working~2265 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=12abb89e694fcd6eb012efea22e6e58495a0f927;p=helm.git new colors for the crux ... --- diff --git a/helm/www/lambda_delta/download/crux_16.ico b/helm/www/lambda_delta/download/crux_16.ico index 7323c8af8..c0a75e770 100644 Binary files a/helm/www/lambda_delta/download/crux_16.ico and b/helm/www/lambda_delta/download/crux_16.ico differ diff --git a/helm/www/lambda_delta/download/crux_32.png b/helm/www/lambda_delta/download/crux_32.png index be5524e5e..a02312fb6 100644 Binary files a/helm/www/lambda_delta/download/crux_32.png and b/helm/www/lambda_delta/download/crux_32.png differ