From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 20 Jul 2010 16:15:22 +0000 (+0000)
Subject: new icons for the lambda-delta web site
X-Git-Tag: make_still_working~2874
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d4e96ffe4ccff60272cf3534d0104aea05ac366b;p=helm.git

new icons for the lambda-delta web site
---

diff --git a/helm/software/lambda-delta/icons/b3.png b/helm/software/lambda-delta/icons/b3.png
new file mode 100644
index 000000000..3ed538923
Binary files /dev/null and b/helm/software/lambda-delta/icons/b3.png differ
diff --git a/helm/software/lambda-delta/icons/b4.png b/helm/software/lambda-delta/icons/b4.png
new file mode 100644
index 000000000..ccfd1a99a
Binary files /dev/null and b/helm/software/lambda-delta/icons/b4.png differ
diff --git a/helm/software/lambda-delta/icons/b5.png b/helm/software/lambda-delta/icons/b5.png
new file mode 100644
index 000000000..30cace1d1
Binary files /dev/null and b/helm/software/lambda-delta/icons/b5.png differ
diff --git a/helm/software/lambda-delta/icons/b9.png b/helm/software/lambda-delta/icons/b9.png
new file mode 100644
index 000000000..0de559867
Binary files /dev/null and b/helm/software/lambda-delta/icons/b9.png differ
diff --git a/helm/software/lambda-delta/icons/rainbow.png b/helm/software/lambda-delta/icons/rainbow.png
new file mode 100644
index 000000000..45925baa7
Binary files /dev/null and b/helm/software/lambda-delta/icons/rainbow.png differ