From 9bd08cc6b9a70d2664232ad8ca4726329da12861 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 3 Apr 2016 13:10:21 +0000 Subject: [PATCH] images for Open Symbolic Notation (OSN) --- helm/www/lambdadelta/images/osn_32.png | Bin 0 -> 306 bytes helm/www/lambdadelta/images/osn_32.xcf | Bin 0 -> 1056 bytes helm/www/lambdadelta/images/osn_label.png | Bin 0 -> 1333 bytes helm/www/lambdadelta/images/osn_label.xcf | Bin 0 -> 3485 bytes 4 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 helm/www/lambdadelta/images/osn_32.png create mode 100644 helm/www/lambdadelta/images/osn_32.xcf create mode 100644 helm/www/lambdadelta/images/osn_label.png create mode 100644 helm/www/lambdadelta/images/osn_label.xcf diff --git a/helm/www/lambdadelta/images/osn_32.png b/helm/www/lambdadelta/images/osn_32.png new file mode 100644 index 0000000000000000000000000000000000000000..d6fac828fd4de76aa495960c0a7379a603a774df GIT binary patch literal 306 zcmeAS@N?(olHy`uVBq!ia0vp^3LwnE1SJ1Ryj={W*pj^6T^Rm@;DWu&Cj&(|3p^r= z85p>QL70(Y)*K0-AbW|YuPgfl7G`cPGnS=V|A0c0C9V-A&iT2ysd*&~&PAz-C8;S2 z<(VZJ3hti10pX2&;y^{SJY5_^JdR(TX2^FyfrnZ4%Kv)HyBbQoz3mRC4lu~QV=?Mj zrDWrB;0WUa#Yz*d{pamXBo1nJO0kJq>IEJ+(9G*K$1Eb*O{GuDg~8tVInN{W+POaF zJ8ZPx&27-wa!zu>QT+*a;RXub^(^&MZ{#?L?RVX#ZOwb)(f4&{x9mIHpi{?x|J^%7 spnR`=>LuQm-#V+^KFqf;x%+@EY7u|ip?|qKKvyz&y85}Sb4q9e03MoXW&i*H literal 0 HcmV?d00001 diff --git a/helm/www/lambdadelta/images/osn_32.xcf b/helm/www/lambdadelta/images/osn_32.xcf new file mode 100644 index 0000000000000000000000000000000000000000..0b46d8024e856b748aa92d8efa0606e6122bd6c9 GIT binary patch literal 1056 zcmbu7%TB^T6oyX=a!2lX!#GP=VBi&WL0p)a_ykbeG6}SV)(9)t?tBs-k?}t;HABP| zC;86&b1u`#>G*Q76l=#5o}9Y`6B^bvU|DbtkbC$dVqi^>1_jX8n(JDqA7L%~IJWPE zi-jA+*b^t~k1KZ^yHoKlZD!@Wn9s7J{2&K^^PA1u_;g zaAt1A{h{YYZv1;e?*1FvM-E$g4%)2mL}3*g4rO1xFqnocZFaB>;6I~4PHP^1UTZAW zF*N@{u4gNPM3)R*HgpA=&rK`~k@O_5BDo7v_U=tV2u%vH4K$nBV}J7ITy06+vg;_D zm>ZR*YjCA9bO|n0j@qE53e*G*RiZkmsdK7=yOU2Kb^0wTC*Pu~KI|-?Qa*Gg%*3RK h*%S=&m{HCki&pIK?<|84J^!XtEg-^Qa>vm>tp}` literal 0 HcmV?d00001 diff --git a/helm/www/lambdadelta/images/osn_label.png b/helm/www/lambdadelta/images/osn_label.png new file mode 100644 index 0000000000000000000000000000000000000000..0df76c147eb032a37677a4fd3c7dbd135732e34c GIT binary patch literal 1333 zcmV-51e zSad^gZEa<4bO1wgWnpw>WFU8GbZ8()Nlj2!fese{00f;$L_t(&-tC!BXcJEq$KS?9 zQ;4-zM8!g_N?O`jMbJuVgjOhM(Tg6cAod~z^b)P0DAGn0bM{hGy@}P6|86}P)Pq<( z2zqIY+Dfe^X~o7SX`ANzeuo{hN!V;=Q>nlHetm>6JNup8eV=(d^JZ3IW|B5VAuIBw zWHwqhs~{9b|6h)X|9wPc2EuF50`7T3Tr9)~x~`Y|5y5UpXD4Q644X$HICv0wn&y3;%#*dKoyWYfYnB{Z2na+XXl&$y zeh{It5s^qv^LQLC7bIGnfgq*;0t*Epe{TZ{$t2uv-Bp(hJv|s4#Pl>`F$@hM5I}vs zF4(^x^I2VY?V3*E&>=i|g0V5o&0%&H;V=dUaOVzApGH*`%t36zrWj&>4@7sjuI}nW zDrKNar7~sk`7+Pe)d>*i&x5U4CIYSCgRgiHRs%B2!>K8(StH!Lbg2Ncix-8mtPIg; zy1t}DfQUqj1kr;Yt*{!a!wCNk5P^X3t*Q#iWZ{=+%NC*U?M>G^90J6bFGYe#BI$%v zE1$ucd@`G4?of>8`Eyb5coen3JgulIc|77E7);mK*NZ|&2aSytv(8Z!^#c6i3x*4E?>r@NBI01k`bXD?!!Lq z@FmivtHxUY-SI*Dl24FbDAgA8fE`m5=dw5kV9^MpReJ=-^(2 z=B8k-oDB5*?Hl#=i9O4S39)DCbW&?89Y3yAR2W`rbd+DcqId7;<3}19p>UYuaZ*(( zEv4<-Y0n-yc8uI^#pLk}ABKpY@v|e!5nV4p6kKU$voN7xe*5L`8cPC%#f^u8;UKA5 rj);GwDb`+PW=mbYghq~-2L?NU$-!ju{*mts*9q=E)e2@(?%UW|#+(r%ZHZ5P@lK)i4< zCgLT*@PeREk{A=?g~S(M2)vl!i-}KSP$GDNiVT?d-CBbdqo8eCK?( zIp_DC@5>j4cRTz02c5yfP>%3ChvJBUrwzq0@S2a3+I);i3Z8b97)mqB!a$aG3($Tm zzL`9R?d~rQ59dZosFN78TSjwzrQCqCuTa|MY~A+Evtnu0O$)<)`CNB?v@jq#v^J<~ ztaM-~=ZqDH3Ii+buEBhNai}=zbm>p`Xntp()3c^WKMjPnfoTQ0?rhLCv^#SP(slpX z?!NxQNZwf+&IRRxM#@0fy?3Ngatb5;yK-aFzc@HJmMc{kD827g`I_3U;)mcdJ`W{) zqwz`Z7%Ywq6vb)=O%nJ@WEdqC$m0BTAmc-eBeETlnqMhgA&T~Aj`PnlY|i3 zLMp$H<#@_AKlq8!|D26gQiDD>=)f?bz`suH(mS?VC z;Iy_Y#U|qw(=Bz)T}3p;^Vp^ol!jPSTvjZC!7f}n9#{iqwHd5%;4j?5&6H$Ux?s8f z*Whw5(c@P*)6l3+V{K(?<11hMjM-W!QP&-d+(U8l?s|a}4a^o-zS(3VBn!obvAWK2 zp8n&LJzKKiV?iUk&EEIBxE)Tf@3~Ct>i@F?VX^M;jc8-OlMF;gdke1)#6}v=#$jUV zi^tDi`q!Je{OKmn!Yt1BLuXSKVTlFdjUxt9PXK`=Ph9@ExTP~=B^Rt8;Z~R)MtKO{ zd=OC-snsWboS3|Lat&nfv5ElIh_u6EKI9=fo+q+8f|gO($~Upi4hU@fksxo?!*-IW z!xgLR5Sa1x2AIhws>HVOurnX2y6&3p=ZsivszcK`_DFDHJ{7>v_yP!lSSLk>UHty zVeM0OM0|P}mIT^+Z~!9H{lUe_+drLpK$>lE@nbdYnP}S1-nDfS+;!LRV>X%Kt(_}V zqZ)o)BwpEVrpq!=yfKIV>92& zZXGeEY8DtW@Fr8e6BSM&yVEscH^-QaWSJ zMUah?B!Qzr($*|GZ8}X!>WZS{Cof50wdmM5R&2Dj>Av9Gi5zC4EDOFJ$YqLg1|y+` z!alC#PF(_}7O67;Fpd!{@>W)mtwfHIItkIF%7?iQG>eh9Xj1PqoR#D*B05s7l~3R_ zzK%vFPAZei65*Gt)fxVbD1H(9#Ww?yM~HUlx;m@pKo&VC8}3_>fJJP-p*tg?Z6_Sx zpo6@g+q#3v(?8&D@Fg?ayO54*wZ$_pAstn;_Dw<-m)W5G6&H;YT6+ywO|6Y_8TZM% zCuD#>ab*aVf434H66FxlO0A5udsHr{@Wrcv!kbzwCuip^T}RIP2v%?N?|Q+wK~z@Z z8l}$bze=(?gW5ql#(}q?Q8+71eHoB%S`;bPK9-Yzez1MA;dW_*Qr{Y?nrzSn`S2`w zMt^MwD+Ir#11nBJ?X&82!eZZB>2PFtS34>l&H#n>ksY=`ptOJdP2;h2==6c8!7~EWH2c1Nau01LV1vm!viL6QvqxOLI|74RoJA>|3sR)gEX-1FWJOy z2~ji2&}$c66g8dI0;pzDi)v?4t7@aDMU_?5s>%>G1JlA|G7)YKfX%9|N5f{#uDME^ Q|7Q`}a0OnC0-lNf1DX2xi~s-t literal 0 HcmV?d00001 -- 2.39.2