From 46556fd4c9c1d6b51d1ef85b0bc348010b41eb84 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 9 Jun 2006 16:03:44 +0000 Subject: [PATCH] added small version of the matita logo --- helm/www/matita/images/matita-small.png | Bin 0 -> 7877 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 helm/www/matita/images/matita-small.png diff --git a/helm/www/matita/images/matita-small.png b/helm/www/matita/images/matita-small.png new file mode 100644 index 0000000000000000000000000000000000000000..4a2b4a70922e3555351f196e3420973ce726bf03 GIT binary patch literal 7877 zcmY*ebySqy*Cmt~x*KT}=~7y{r4dFzLKqynJ4CucL|REkKY2xGNgD%R4zZ zSUb9-$-7!xxLdzv@_OfP%cO5>&7`cVseSa8-4P9q@rkN}tiJc$LAH;H{`BI%WiRR% zo;oBXuS`fk6yqEQ+p_V>=62Xl*2f5F<<#>NjLXZ!-zC~6b4Vk{!Hv1_o~HiGw4E8h&_#~hudI=~tfLD*QSDKa z#9+3s7?;>9#fDK3c601o27Wa5;LlKYE=u%S1G5of{_Lc70rOVv?~TU~_-VGwMP&!O zm2!o9r+;${Tu`yJu}_)F(tcv);zlnE8~4J<3VVM|{aEBo8s<_VyYMQ{Je@u?cb}>8 zi{QyvR2x@Dq7hzj2g<*#SuOuLhF-97J6gLY@t)rbtNAl$REDt0`;vCyuV1{K&`yK( z+F!1mVcjahECvsIkzG7>}$mjSno|Ex~$0U67t3SbhCF}I-GZ*XDeK-<5AcB*uxnAU{5ew zVU~Jnt#grkIS+<$SSH;aa%?vcIOydQNqt?uv_FR1AuE*HX3BF0Z}v3CaFKm2MHLlD z;Z%}L1s_D~A49#rm6Im0(&=b;t59p_&uv9Y+=QC{3YxFsbBApiO;7PL{^EE~yO>I> z)O*uD!twA^Ce9W0MpF((%jHHfQ$Od*QLyWJ6gozLewS`53E!mycUY4PE(2+m-ckkU-am-DWk^+;*4!{eNKusRyVVlU*jYE95B zNL%>t_25OXV;A}S9u6z@(2z{@BchGJ6qnUB7X%Kg-5DHzTTK(5v#{Wg?ss!xCWom_ zU|)oN&U+A^*8DGDa+NETk*H~#uP^Y+}0Y0Ygmy;9?f zCg0e*UU|3soY#NTB8b=jNVfL@tC)i2u#jAXAt_J1-0R`rkEuiwfjEea7@Dt21BT2H7$Dh>S;=&^;T2hYft) zf-=3Ov{<$7&P(Oe(EH!dzSWsM9=C|GU^%Gmul%xmTme@x5wTzWK%Ww@tU))t;Mhmq zQ;}fmt$Q1%m@}$FXM@4VnqcyFs@gufzxCb5;$rO0g2D&tqlR}jf!T?DVn&4TEkboqz?r6=d0)Z`S`EK)uyZ#rVB@6%P?{vb_{rF`{WCPio^E;->9e8>fLY?uJ8HtsIBtYGhv>l?cnEfi-f(H z!{ckD_gQelaW#LA?@e$?ddVr1ts_9{1CK`+o1$j7{|~)gGB7R4mC{FYOr<|_EysOh z^wVbq?%oV{7xDe zDi?N46VLi(e)Fu7naTb{2{Jtk5U6f)dnP2WxNZBEBr0amnCU(wvlP zUn8tUIVnWmh)VTnlpa;qf;ISMZQV(nbHFv$P=a7nVC7@NtK29N@2YN~FsPES z!%ZjQ2F%PO8Q!hv7t&FZWUN#^88MmAY%T-~waIiJtb` z>DF=vcZF!H^E>$_M;pd7ZCvR&AeblgVe^x@r#&q}h_sO;D>g&_i)+~E)=ZoU( zt(qDdMAEdqj+WS;K8?xCW0@*99qbIlQ&m@A|8p?E(Bze{vSO}CF*-g@=I7_9xYyCq z(LDNC-Knn(qu%d=_nX$2BCuYe`sXU=RXItipqV2caq$c?&X@eQ|1tGY6g7M$9Sjkj zXz{yv9&jxj78X`&(vUneGXtk^nkd#WX$#EG%Aya)r^zE#S3D1GblV~{Ha6aN7dP|S zq@d(8Gl5Yxz8mK#(n#-Ye~Y&0284#pM5l^4=^z@X})GGT~L10pBwcC2c8E|D} zObjarN4V?r^t(QEg=AGpFSACr6u&uA6E$ zBRPxqp$G(&PSl=>i!1v6XeK5|1G2rnind=9C3;}B`vlpat#rLC9vv){_n)ji8{S>PvZ|hXaA= z`mg1vm15CuJ_@>ZVb8VsnPGhnF_2@r1s=KdG z$m`G~lhI447sbNDf`gA=gZp}r+j7TU{BWrSY1_NGxw)~mr3Zx~sB;e&8oD+IKUdb( z!FDG~G;$H@3xym2{cf!-)yB88r&j4QVnNIyxKzj{rfjd+#@FMe3GkCo( zp>KKl&FCpD?qoxC6?QGwrc7LjUcZZ)|Rkk_x=-Czg|w>;Lh?0t6coSI7o%=W-WW(cj>#Hd5ZRR{!JyJux(*&a}f+EcSC$FoUD z%)=dccoN_H#~upxN3cP|h5=%AN`v5gf{mha612$3Z zK;tN6ewT+yw%G8U8_8~O9Nk+Ro3&rRdVl@QOc!&ri7{$^hx_2+LlR2L-UhcVY7uzK zq;FVye}sIz9sD&C6w=;w#m7&d!kU^SD%$>vkI4LMp4&`+51e$LEf7eRIMJv|sUVZi z4D^xiT~uN8I@lvi(uWk-wdB1{U}Q`o#lwT@n3s0n9%t58PQFhbGA3s_dAgsj;tk9N-D~RaUnQ8H{%FSBTY-~6HYHpU* zEwPA;H&!)0<>fUr&Lsu_DraOwJv%#VxXx_&%+MR_F&YONC!JbxY%IQ{l$5H51{(*5 z5&@l&5lYl?p?_RUM$_5(yFoV!!D=Y>{h_yMaq6t-1lYNMXs7_-js0Tdr>!qRtv&Vu zAkvcF{8oMOn*c!!E$k*Ic45JNo$|L!^mMyJ=|bKwhLGfkRx*jM#lu4S6+aaD0_N}2HgBXsaYDF6LY4` zX@3d&>tp@-b5_>SNZ=o#Ok=6BF^95yJR%{Hoh~;Gsu8LdAwkM{N3@B|X)E!K%+F`0 zq>zJnP9(mkn1hm#ki3P#o=V3-pIFj3lw~zHH=jfhJu1@s_L7a0^K8Lwqy%E!gFty6 zKzn0pz$mo_&@Q^j zjsWRC6xLyWkD&Je(%$|;ad1A(K%ABdBT|_#vGujCF6m5*pO@m|3~1QE_Y`k5&sI7x zPft&`7n|zxcA#Bc+1KWi2m_65@lUWEA0-{4MU$=4-Ng779KI}!DYVQ79fDF>Su<7E zc#4XO@HbYh+hc`ztE;QGcSk`^skb5_+9NF3@~_a_UgT){LVO}4I0O8hxw$vGqsZVf zv&5j*p9Acy#{cpzk@L?T=jl**RQnr&^n^lGwUwC)4(OtW&!prPe{L_g$&hhqtbn-w zlq)r2(j`XpmI!wFo_AJ$PxM+2c;z5K*Li)uCl>VA|6`^A?aI@kG(YQaqx>?$DQ{Y? zIIOL$!G1Vcg!KIdsvk2~$x{Ch8Jn zloB`u1az{stgR3fBqXB+2!kWC?uhHF(W3gaizPoTu%&KUef@J+H@D28t1;n%M85Ed zYU{z&0nB=XnQ(aABbl6_+x16Ns@%aHQobvQX(VG_oCT8-Ol)BWF!X$RkgHUy&eje>=v<`I-Z4nF`fX{)h6O8C)n&w zmBCF0!-oWw}?Bk0n_|8Hh6-rCtIGBR=0@&VT%ST$_1Vm~WXf*RKwOX;rPlZ32d<2aOtq(~|K0gCE*@T2S6BXUehgienli~V zPgx`C`Q+q@`c#6|l5aVdryD<_d%>Bh1dEl4=4kNg#atDDsqY17gRV}kd+d4Q*derZ zj4yR{lWC``n5kjXk13|Ba4NAp_mr?#W-6`jQ~JJD0)j{$WoH~}M5}5kYy0@gk00dZ zhC) zt4<~O-OsBT1tokWU0RzK_ad3?o)rP8Tr!^=6IPU^Lb~u|%C`mHMaIV3e}{|UR$?@| zcPJwbwtDBO0fnWLeAcQO$*xL@*VQ?bliZoFoG<}`O(XzFsh0FrH%L?B|4>h}_xC5V z;r96V4QH(<=DZe_5qp1dM-`lTJ>3c8BGFK@7GD8}xfI)l z>sK@m5#C|j`P#C)onIRp&S$?gd!n4Th8db$S}3H{zbPj$+6vQx-kQMV6y1#8 z-}&~&vpUK^*RZ$FgU<0>ZiY zncbZo)Gh0pnU&*If^Y8y4d6$;34+0jk(eCts#b;i34|jbjg{QKrs<_JW^vq05!GO_VU}747H%A9@OjPRF9h)C-+xAm; zvVw5n)}Mpjp$HoV9UT&Ix5a;7W!c!+fO;9ay*k@jYJ8e@b8 zFxy664H84i)48~4>fnMWUoq`=d+Ac^xTpqpwy?1Hy+1o{B1hvw^&Gbu$G%q0QfhNg zT?+;yWRxsMq=q>Z1NHzoLZn#*CpR~~j7(cbqlDXcysL?N{S`kXD`o%aW!!w75NI=? zUm8$8j+AquH@CE8VP|I#4G$Mh)&8VIy;9e|W$IW3*4|l{*P@~#WDxJ(okSXlK2|6O zRQzK~N~l={49L^pyOZj;a_I=eqRUK}M|Uz?ln*oWt>uLyB@eXV@;_C(keA=q0fN#? zdMBQqx^{MUaz$8i2Rj8XGZD!-RYg00cyb#Mu(P^R(2JtAkO$I`1OPkG)qp&+xor*i zjEs!v76@8O@PFiT;X$&b3Y4Q@)4XmRpGu0yHW{8fqXh*8fz;^iPhthFHurU%qnekW z$g0GOl!cw~qe`@Eubq%D$fq}d4)kdBuo-0nHK0&hK#FY!Q+Z;k1wzE!eywb6P1E}abU>N+10fJ(%g+~Kp*uIy$Ll1 zjf&~&GHwcxz@y?V00g+Kbx^`{pBmV%m|UR7Hv+NvP5c?kQ+e&}H$L6<0TY|>JK)EL zs>LB881W1eN&pkEKIFP?_Y5RKZtEsV)sxwNMTDR3=16t-_SSMuashg>J(|zP&d#i= zTSzdez-VT5;>09p_mka!tS`dM(XjydnTl$94YzQ7=ehefF_2L5U~9SoC7kp8rFle@ zb!@NGOiL!adTPy#tv^V-CeH(wCr@y}gyWvb)j2NOUq4G%o`*wr_Rhw(3ZQ0{m6aYvH`}AEjFR48w|B{dgZ{nFaV^*o=<#jI+26O9zCD)D z%Fd>d_V>2_JUzqu8Ulg*XDe)r8h}SMv@MsK9I!=+LY}3tsXm9JYzpZle1-S)^wMR5 z0<&GpfVy-SXBZwHj!vDfe=Hm2jt7ANn$IaB@~NsyFeD^|T;@~(Ice$SRPnrW=pgmy zz@! zq00#dHed>{c6b;c(|P{d$SAV9x_WKEfmf$&t``wa)fa1V_2&RMf2=jYFZ1ja6upY7 zY6sAfk&!r!?mHOmAbX$%i?%|biYi&}B;3sbn%mEO@8B4?JzkX`8y}yow8ADNBvepP zm}%BoT8n&mN;u@=cX0}|%UG^FHj)Phh%unnsqnySiJDrY?FMG%(z%w*S7tti z#(5`7atCuLJWftdpa8e$P{@HIuK#8%b8kF%6@vKq{s4^HFg0^^6$G=FEx>&w&xV9F zzDS$08>s7WCr&fBve=|U=casrZNPy6;NJ)7jg;;CesMntgNr+CnE~EDEnQ?CU5>!zWqTe?zvxV)Ck6WTVN0d zj!a4(30Z?M)n>pHodCk`93}ujyA(t zS05dRREhy^jDp0-%gfuIsmz~SEa^tjNwqZN94@4TuM7}|W@e0jfA%eomRf3@mUFgp z{9c}rJ=L#qwtP=N9WCV=T3r12o}7d1N%;1SQ%6VV^768{Y%ztgiDo+1_GtI|2U=KP z7Z{5?=H=<>8P%y2Ccwg+edeTV0aLcHU_O|yd&TVxH8kXqiGuLG>>nJIM^3J-uIAb{ z`nE6voanjms1LXiO?V{3h&g8qy7QKvU4bzJkSad`s??hyK~icaRg z2)Q5fV&0&y_hLz)d$8(JoQFp+O|WlhKE6)#Kf?CsDA&vFq#iN(t&`m0Jw?0B!`$7y3`guK#AI=2iuUKkXGKoij%B8a zBU5?_joP?9Y8Kwl!nKPKg^q9MqH`Zg6DxTUJsdxXZ(c