From: Ferruccio Guidi 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;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