From b4662c9b51f72bd7a1f74683b18f4da117f17d58 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 5 Jul 2006 09:38:04 +0000 Subject: [PATCH] Added PNG versions of icons. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@53 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/p16.png | Bin 0 -> 798 bytes prism/etc/p32.png | Bin 0 -> 1028 bytes prism/etc/p64.png | Bin 0 -> 2074 bytes 3 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 prism/etc/p16.png create mode 100644 prism/etc/p32.png create mode 100644 prism/etc/p64.png diff --git a/prism/etc/p16.png b/prism/etc/p16.png new file mode 100644 index 0000000000000000000000000000000000000000..68e3e540974ff9e93a0071186d1298477acbbfb2 GIT binary patch literal 798 zcmeAS@N?(olHy`uVBq!ia0vp^0wB!63?wyl`GXl47#jk7LR|m<|NrjYyPp2Z&7Bj< zYZ|X!ztz>#7Zj0@T3A1K{jm*4?lnzV)Yd)G)Xu$k?xr~lmQG*1)*^FKYH`bw?H81oB5@6o)Ia|`BTH=c-o zS5$5tk~wSsV&8-UvzTh9lKF)VlPg=N-MoG0^0k|})$Mlv2^l$sHLbm2Id#VIE%wnR z@u|69VF~VjVV!-G?%ur%^y8ofUkulK1EZv&B*-s#fE~$T!Rnn3bPHpWx4TQd$Ns{n zKn`btM`SUO_5fqIli7Aa#%fO&#}J9jvFD$Q9dr<2eIRq!bxJ6Epppyc#p?GqQ^Kd; z%{cz&=G^yhZthgJ{pa=Tj*Q>*-`sNR&-1f1<#U`AP;Jlca7j-1=py97>5;C%{p6Du zqbsB8qD@_0VW}$$FPJK=T6{65k=0Tn%s=<_>Asv#nz8qS{o8KIe~{Uw)X=i|^n?Ha literal 0 HcmV?d00001 diff --git a/prism/etc/p32.png b/prism/etc/p32.png new file mode 100644 index 0000000000000000000000000000000000000000..85e0072a67f8d6151908d2ccfeafa1a335721206 GIT binary patch literal 1028 zcmeAS@N?(olHy`uVBq!ia0vp^3LwnE3?yBabRA=0U~CBR32|M%Vr69(>%g>xS6B(Nr7#5pV*1G+~y$wh1#buO*M#i5%e?BZS#=z7%I<u3>I|ky_@?jT08H+IKxTBF-$V zaL1`f4z4~YPMx;%4BdO~$*VVS^&J8{10pkW3XLPHtQ}k|96c>ugFSr$s_UE0Vyb|DGPGV&}vLexD|-2$S+2y59G^Xr@TUXp*nc(I1)QB}T_%p*((QjVupLEkh^#XJ^@1FH!)zviS(yzQc86}pP z*^^uxve?Wex9o_%eam`<%W`*yT_rEn`sMV$ILS{9P?h^o$+$qiUzXW`!#QQqCs7{z zdxs6?_P;Q&YTKPX=e^d!J|6;2Zdcf%i2+fLq))?c6h{#Lt`_Y8&={?&H`CjasL&rrko@qE&Xn*u(j zz%W;<3W+Fj&d<$F%`0JGsJKKprZH@>Ua2CL&r2zClez1rcAER=zc}d?lLGA~U2~>daD0OGF!K zrMXI{Ese@FjrnLRpM|z8d#qKP>pixAq2G3P&-vWXx#!%^=ZAalz550H0GJ`x5C8xe zH_%V0W%fTX(9!0`?mf={KnD#MJ?-?pxRD{ zb?*NBm`&+oH%^c_mH>wv3Btm|gyCdc`xED`bzYxu=^ootr4YuZkB*M!i^XswV<^n% zP-E8*BMa6xG(5pVCX*2@Ec5r)1c&ggDRvp+ee#~kebVyO)Kq-~Fal*>-*#2mKLdjs zfeoRq?%oMW$taQ|+!WK?H|3GjKwcluVsqQC&SLOHOOFWu(hI?n2{sNalC6DCUcNDo zj3iJ@%y9aKP?C2feqCT_Od2b_>MMSxCE3oGC&JJ?IXjhlU?`R5U~cEZlXkD&T&8ab zgCa3_x|cxKgTRwb(RlnCs+%X<2uli;^}w+tES_k^4C0q}8$#jq=t3|AMrF7VJIS{rnS$CLhByZ zusJ?N2k+j|MHGgBBUoG-)-aqsNVc@*=H`Ne0wl_u=@sC@azmP;AW#^N?uo$>t80$N zZBAq`9ML$UhflD9*4-3~rZ}O{cmj(LHiXzaFcb7eWC~%`giDbgjoOegb^C>Q^3IFe{(>1@vADcZBeZy0 zLiBpZT3Tu-P-{9HKGZIJvI5dhw|8W9zS^zVnK=!O%@lvV7?qy!C_`5iJCJby5p9Sp z6GTG>=9af0XByRTo2d7H65@^k^D|(VlanNq4ecP2SViv-hD>iGUFd#(+TdPaRzI3? z9dD_A@N~fr1TP(l@jo<&0z9w!?s9s_`2FETbv(c_*jHI4Q9M+1?03+Ae5lEIwah>x z+I+G|e(arn3ZQe-#AmO#q=1cg%W=Y2s2H2NoI63=WmMpa>3lKPzon9hBcycG?Lz2{zi{VJLD`>f)lX_b!1B%oi2EA8t`JuZz%4N z)S3;fenjP_yCw4DtRsHCr_LvR!Y#kPeLl9Qw|H%YBr=pePNS#Q3b7MI&)tj4ryeOK zJBN)c6N?5R1p(z!os~D!t1I+G&^10Q=a*Ea$J9C>fp90?cwTuR`!B1-_iT4IxQQ7u zcznaeTV*=;b5i}PA*R)7vOBm?7!vP)3g{_DR#%^xK#VPd2fmk4=kHbPdPcw6t@(C~ zWDm!0yeDv#TbxVX;uc`Gtc8->@_u22+C9!BRLLycCf=pzP7%gF95{oAiqzMiNMdHI z`GwD&ojdd%#{jMzLq7YTz~Pkia$jvJ5h literal 0 HcmV?d00001