From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 3 Apr 2016 13:10:21 +0000 (+0000)
Subject: images for Open Symbolic Notation (OSN)
X-Git-Tag: make_still_working~615
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=9bd08cc6b9a70d2664232ad8ca4726329da12861;p=helm.git

images for Open Symbolic Notation (OSN)
---

diff --git a/helm/www/lambdadelta/images/osn_32.png b/helm/www/lambdadelta/images/osn_32.png
new file mode 100644
index 000000000..d6fac828f
Binary files /dev/null and b/helm/www/lambdadelta/images/osn_32.png differ
diff --git a/helm/www/lambdadelta/images/osn_32.xcf b/helm/www/lambdadelta/images/osn_32.xcf
new file mode 100644
index 000000000..0b46d8024
Binary files /dev/null and b/helm/www/lambdadelta/images/osn_32.xcf differ
diff --git a/helm/www/lambdadelta/images/osn_label.png b/helm/www/lambdadelta/images/osn_label.png
new file mode 100644
index 000000000..0df76c147
Binary files /dev/null and b/helm/www/lambdadelta/images/osn_label.png differ
diff --git a/helm/www/lambdadelta/images/osn_label.xcf b/helm/www/lambdadelta/images/osn_label.xcf
new file mode 100644
index 000000000..daabe0987
Binary files /dev/null and b/helm/www/lambdadelta/images/osn_label.xcf differ