]> matita.cs.unibo.it Git - helm.git/commitdiff
new icons for the lambda-delta web site
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Jul 2010 16:15:22 +0000 (16:15 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Jul 2010 16:15:22 +0000 (16:15 +0000)
helm/software/lambda-delta/icons/b3.png [new file with mode: 0644]
helm/software/lambda-delta/icons/b4.png [new file with mode: 0644]
helm/software/lambda-delta/icons/b5.png [new file with mode: 0644]
helm/software/lambda-delta/icons/b9.png [new file with mode: 0644]
helm/software/lambda-delta/icons/rainbow.png [new file with mode: 0644]

diff --git a/helm/software/lambda-delta/icons/b3.png b/helm/software/lambda-delta/icons/b3.png
new file mode 100644 (file)
index 0000000..3ed5389
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 (file)
index 0000000..ccfd1a9
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 (file)
index 0000000..30cace1
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 (file)
index 0000000..0de5598
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 (file)
index 0000000..45925ba
Binary files /dev/null and b/helm/software/lambda-delta/icons/rainbow.png differ