From 92c4af96b3c1e4918bdc10b7cbdb3a37038de074 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 25 Nov 2008 19:30:33 +0000 Subject: [PATCH] ... --- helm/software/matita/help/C/figures/matita.png | Bin 0 -> 3650 bytes helm/software/matita/help/C/xsl/matita-xhtml.xsl | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) create mode 100644 helm/software/matita/help/C/figures/matita.png diff --git a/helm/software/matita/help/C/figures/matita.png b/helm/software/matita/help/C/figures/matita.png new file mode 100644 index 0000000000000000000000000000000000000000..5a6807126668ebc1049087effbe27523f4d964be GIT binary patch literal 3650 zcmV-I4!!Y-P)1^@s6IB1=b00006VoOIv0RI60 z0RN!9r;`8x010qNS#tmY3ljhU3ljkVnw%H_000McNliru)&Ud>4VmHF4b-RBj6}t0RJwy{C&Z_)4)5xFz`d* z3E&d&&p=7+)c_m@jsq=X&m!=bKr8U4z(FCA(|{@P7lA(nG%?-+8~}a*+y?Fd6Ttrf z4v-VlZxIZO04IUDda1bJ0LwyMegZTKqqd=A_IekabkU%cZgaMmN?hI-=sRPYagJTNV! z7!zFlN^tPULXzJDJ_G(l;Qo=o`3oQ;xcO&7Dt&@!8Q@<8b5cTWUE6B~{!TE})vBL~ zce{`V{uX%AgO>&V2^jDr#tWu+0DdhvV+(b$fy=;qg43E<>%L?NxC@*Ts;B_Zd2GuT zQnJNk0F_OcjZ0iosHiQ*8h}ne`pLgFz<^c@mO_EWJuVaca5w5VX;Q3 zb2#TI`FT+e**st{0;D3 zA?Zos6@LM|Eu4nSoH)=gqyw-5JO%6%wpJFl`La;;?*rcvHr^-pmAo$9PZc!aqEIt; zOc$FhiLtUUU>TSa4&)Y)5Oe_J}>F z#M34`c?ft{*nW>-#-b}lDS)_;;G|PGX4k2z>>0N_@y)egTg=O1-uBqKi)VV?8< zNn)+!+0Tn_iE($GdyfDA5ZWf^a6^I}aK@y^?l+a|Z3k!)4nwLlk6j{=e^4AZPzsluu&r6cD=H-s#U>FABa5!*t%d!ZCg3Y)d-+j-@$_n{> zK2oh#o3q)hoXKPs6-Ch;$MMB?&r?Sj)6>(VV`F3gXc$Ie6>*B9gmbyv;J$tPjs_i2 z(==kSSP<8!R;xrJ5$c)ahi}_9l}ZJ}Fv#U{96EG}ix)34Ha13cb947*-)~tKKxJZL zB5WAOYMXN$N2=#&{o&p5pm}$0Bm8o?jIQf+baXH>GD2@}FOK6-C=|%&^Q^3_5Rb<< z^?pA(w#=b8j)Si2=(D~MWI zS;4X_T3T8-e*8FneSJiuQQ!65-Q9F|cQZFPS0jAe5$8&3d3l+=d-pOtJWOL_BfEF+ zURSN6(I`VhL%j9YTVG3mQx98yXsX4;PI_Nu^R`G8s~-6adGL9plY6 z-$Ye^pELz|QPVWnBp8Zl)qSv0{BYx!ZQE3&78> z55IZuoIBsw*TT zE|=r(-MgC(>WXOKtXP(n^LCIN$Dvdz)m-|)g9mACZDr@qom*NlL?RK69XrPBufM)- z(jG*d4U9XE^8?GWR7sN1G>t-`Ku=E(2M->kzrUYYEJm?dT$ST(6?AoV(c0R|%*@Oq z#kry^%k%kseosE1r@g(MS6+FA{{H?NA*N|!nr5JFS(b%mS(v677$@C%Kjyf5yYKNr zJRWCwc$kwXPm)TdeDQ7DUc-2|vy`&VzC(Ia(NYUsZ^@fQ+~v` z-ZCgou7_VPm(etha=GklTYL8Gp|P=%VzIcUV(>E8%UDJ9;?p5XnvR*~S4}&1Jk{9P z=*t<~wn?Ycfs&JDnPf5%Q7ArgrMsZ@$&GU@9%j~qF|+i$;3I2>N{4$HDo z6lE3TWYH-7Frlhnb;e@mwR7jFR;$Re?E6TPwC-Hcyf=nDDt>o&H=UiGR4NtUxLBVW z$|4k09NVTbohCFt&&^Li-Bb>@RS=8Cc;ST?*4X4jxAxi+3C2G9i2L{NZ#&}LilMc& z6;0DNPh2b<#+jYv%gM=Y*+q`UVvLN8)WXuHhzm&)t&s?$zx?HzEPJ~^e}6wcJw234 zrF98hL!1MoV=?4~1#XRxud1`W^<2=i(fmeF5WaU@Q51%ThHADKM4;j&N~>16uj@oY zA)2F6E}S|=wxNMkDur#^>)N3k=M2LLjB|xTVZ(YZpU>mA=IWtPC}7(*vMkq9!KI}o zR8f?(yHU-Uj=Y!U5gkQf#mSqM8254_@uX)aTrpxR2U9zzl))!y!*{xgK(y=It!jU6K zFbu=j?$#}kWLc&wo8{`+vy>kqu6!G?ckfx#2XBoSCbz5dF>2#XI zhYznx@*kQw2WSq5xjj0HzD=dq*Vo6cUAwq{|Gw+2B0%@5P+(XV6~n-;lTb7iV&${X zxcTX)q%)boP@rjA&DewbnnAq~x06;Xl>&?5a=E-F^LJr*c$ibCPDM3M+slJ5C5koT zEZb(WSmgG?0*a3-uWA~e*HS5qoYhsO_4|>Xl`z1ZfQ_89Fc5gh z_H{$CSY&*BoHJ+6Fh4&}Lqh}EY&NJ}F>P7a)4&Wmz;eHLcs6m1Wrwt&`42x}WPxr@8vU2efx~20DnxmDKIqw|W2l_gPq2Ae+sS zPN&gz{b75iQ^2u@zMreF*5&zmKA)Ii|MSnU!Py8uXuevla{2OQu3Wjo?CdPjXwU1~oc<3hLCCcvIThRTUJLj$o zsu_ds_uRz2{(kO(U6^L&#`N@MN0dK)C68_xsNpbpZ3P^|vecPEAvbgNs$FrM>1Z@+ zxTVP|=6JrB^gCR!SY&Bw$@f!{jqq*TW_o)1vT2$XZ+LTmk)z>oDy%3GX`RfX_B9Vk zwrz*2rn$#)obHe;FBz5&8lG-%OY~|sLCG)I(YDb z^$HLES)w4S;O_w+^5CB!zEyaXPw#gCBRu#Feu4-8-{y9XbRPU)je__p>Dz?=18_pJ UYE;!ktN;K207*qoM6N<$g01Tlr2qf` literal 0 HcmV?d00001 diff --git a/helm/software/matita/help/C/xsl/matita-xhtml.xsl b/helm/software/matita/help/C/xsl/matita-xhtml.xsl index 099c390f0..008f66913 100644 --- a/helm/software/matita/help/C/xsl/matita-xhtml.xsl +++ b/helm/software/matita/help/C/xsl/matita-xhtml.xsl @@ -61,9 +61,9 @@ - + -- 2.39.2