From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 26 May 2004 17:54:11 +0000 (+0000)
Subject: New icons.
X-Git-Tag: pre_subst_in_kernel~76
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c649d815726087385d12e80a48ed63f0478d8075;p=helm.git

New icons.
---

diff --git a/helm/on-line/icons/folder.png b/helm/on-line/icons/folder.png
new file mode 100644
index 000000000..ec0cc0839
Binary files /dev/null and b/helm/on-line/icons/folder.png differ
diff --git a/helm/on-line/icons/object.png b/helm/on-line/icons/object.png
new file mode 100644
index 000000000..fe89a30e8
Binary files /dev/null and b/helm/on-line/icons/object.png differ
diff --git a/helm/on-line/icons/theory.png b/helm/on-line/icons/theory.png
new file mode 100644
index 000000000..389152ef3
Binary files /dev/null and b/helm/on-line/icons/theory.png differ