texlive-prooftrees-8:svn43184-24.oe2203 >  A bDK$f!#v-ڤA`t*C  -!myJbɐm9|98fMΝkrpn:{YΕFh:꯳&r8ydYxX:~ݑ+J'S:Nzƴ/q Z;R qb c]!5"ӬJt| iS[τ8pT^fXi/"$os 92Ɓ4j$}y:Cف/\w555b530a7bd919bf61f993dbae2c2b217c0358517b4c9dec6bbf8d1c4889ff3ec3f543330ec63fb4acb5c0755f8235214d597deaL݉bDK$fx{'TL:ZU4IQD:9O砌N`^ 0VJXޭ 7J8D%y*dnen$ n.l>Nt ǫ2g啵K8_z*F '3Q~lC2, Ms'?_dg=mKCX`_ 6^lQdhGTd_֕_4IKxiɌ˭/#k$ЋT318 .X>p> m? ]d( , Vhl    ( 8   0h(58<9L: FGHIXY\]^Qbc d 4e 9f <l >t \u lv |z      Ctexlive-prooftreessvn4318424.oe2203Forest-based proof trees (symbolic logic)The package supports drawing proof trees of the kind often used in introductory logic classes, especially those aimed at students without strong mathemtical backgrounds. Hodges (1991) is one example of a text which uses this system. When teaching such a system it is especially useful to annotate the tree with line numbers, justifications and explanations of branch closures. prooftrees provides a single environment, prooftree, and a variety of tools for annotating, customising and highlighting such trees. A cross-referencing system is provided for trees which cite line numbers in justifications for proof lines or branch closures. prooftrees is based on forest and, hence, TikZ. The package requires version 2.0.2 of Forest for expected results and will not work with version 1.b<)oerv-obs-worker-03openEuler:22.03 / openEuler_2203http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ$A큤A큤b@QQ3b - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- split texlive- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initoerv-obs-worker-03 1654537257201820188:svn43184-24.oe2203texlive-prooftreeslppl1.3.txtprooftreesprooftrees.sty/usr/share/licenses//usr/share/licenses/texlive-prooftrees//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/prooftrees/-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:22.03/openEuler_2203/d87016d664c1186ad1cb2187c57dd279-texlive-split-scpioxz2noarch-openEuler-linux-gnudirectoryASCII textUTF-8 Unicode text, with very long linesرUv, OԾPoutf-85ff2b0daac466f368de90d979f48579dc00d13ce131ccaf6021cb9b4343e675720176aee78f80bd6a75e22bbc79c1ae10552d0c031df2a417b627d3759b1be53? 7zXZ !#,=&] b2u jӫ`(y-6i(%s\#Vx2sB#ODEFs ؉>4P kX+˥,x_V iN!>8ZM@f IŸJ> l RXN]} ah>x䕡Dw]Tl[prG 1's4%h h)oX]!ObLteS3v'i0bԧdZda U=QtgIhY8Bg>b?ԾlW8&`C=2i̓X¢tH -m , =oS⑊ pwGj'{Q(.Ͻ\hIAUBr666tZG= &\dzaBDgoY@?9E0u _FeeFQ kP)=Zf2=Fqؘ%?;뱑CJO MiC;^ (lMiWGr wmv`Fj-}bR_lg.d/eu)R=Fa2Yʙr@G9 >{d.Ro{'P\ԦWS:O.k I-ۖ@Sh8 K# j"1YAG#B7${Ղ-P#l! 2HTl:[f-2CC?N6а Ҙ:qP4щVur‹ L WSTFHUQĀ ,(-i~WzS. UGvm{TdcYӋct$*ojI$وSEA*J,q*bw^/ViWRfPacPu!gҝK#p6Co>"xq4|q ZlYl?$ՈcpymҴ؟P8$t_!<w="P%~q?Z@Ĝ1}zWEu &M{c5.G"oX uG^L6TϢJ&g*` >_VW$B!ahM]J#}`(p5+ZX'V]<1ԶZ@@Z^]9׶lнޚÇc#=PvfA7QQb5;W8-a@%-Du7'a]ڿf{>Ԉ@byxܷ1Y L#r4WS_mp}t|Onϛ<VA@ˌ0 zM~{-}wO -pĎX?iztuB[%;j5J 7PFP=E׾0䑺o/5%gf><6T& nKIBy9t_;‹6Jv&MLIAʍ| iJ y|]C NZYc~dW̳Tٚ1o]o:"h1;J`;2Z_:7q}2R?JDhSo=4ndR&Պ&7 Kklj_{T[yul{aGub"/Pwx9h r߻mȂD֭m( *7BrtK4P(0X Т ])wtʎLjjf"|L_7=&qj`r~W6}"ܝ:Ž* eR{Dnkpg/4l*+mĸ%P5層:sWDBXt (]VVENa+wt Kx@|"R;}/|C^㴣cw}oj}8}A^l5M9H'%L&RI$:0'݉"A*S9_;z|6v cPŁtv"Ea4ҞAY+~k$5)\*'Bv5 !S>_La?)oIK/5N,dX- ҟ"|MQ\Ԩ `Ph~74cU~4xy({_`1O]WW~GVl~*-5)2d4rɹmDpWE䕽vUcㄢƞҕ8Mi`>*ELr9_xgLEhʐyo IpfR|΍b nxDqJCً"3(7bpҿ`VDD6[@CEד9]X=O=,c./~q  Ow>bYW#y`-+W%YKvtW+a\]EUwBYіcIh¼#) )>Io>ݗGނ q2JЪXFe̕&a Jy"Y$˨.KjtQ:|VBs;S`ot3{hK\SaL*Hա\p%;|ϊ,mZu/usH zH]:x}\_ɑ 7pCz.i̐*Ha-x Q n0 aΜ~*,C)ZcxE/ TbG[ E:JKn.r'''ϵw,Z灿+kG؟}9|!Ɏbpw0=nLj9jUr+鍼*9g"gr*u5t:Ruwjz.c4D.}R"|z;Pg T 4u^(=QԥJgdy7tӴnmtW(ȡ#Sر.:3'郔Fk &s@MYd'.S4v5m|BF% BkJv_jY?~V~L[q?|>zhPtV|ZI l) b±Lt.4ӽ=6c9p9(sA 0+qgPH'ƹ6ܳ ~ (gZ?G:?;ϡSe&ľp4Id/G+b ,qg ? ʣ[]0\L$@E|~7؜ j疚!64m?H[FADWPJdQ֮ZMM>!xKEFP3 ,_5Gdb 8 {<.8n-p|5Bc`0U naX~ȗeb1Vr.lrBKj ^Eg(HO^uڔ+lL!_ݩ=}`#|``4@T86 XEGaahK)kԤfo#5ZH$qcp1DWrOqjP\Z(0$]5!ԥk;AoAXsYRՉ Y4mo}W.^%DN <1&$؍ fxّ ָb2mMrRkT,Ԫ' $q S{sK73f,\5)t\_97>`mdÄC_l߯e$Y4TF'e4K,T뼲[(עԗ%v8qҎ5(ƒɷ; y HM6E!rju.) 9Wa`gVG|tԎݚ3GYTz̎ϷX> _L)\ů;(; !X* V\@ dHyA 6Mkr,2_;[g8Z^NrHU"`5ρ!Ա5^o6p~y <h^*̔ ңⅤ;Ffp*5Xd`Em}w{E_9g)7RIB8H ҽy3۩U^cHZIU/1m&:374/fϗ}$V=HN9?Hqeg ʾxLR*8kZ텯0@؝BnϫJF]N׳]ZP CnCԡ/}xrdSmSξ?x"0(J;Bח"g\'=Jc,N͒QzŷF[Qv̫`$j2Yw㷪d#C|5KR @T3~ʾehu`3<q eȨ^EoO6.:Q 0"dCv5*NrHŮץ0ĀLm wncX_ETrA@Ϥ%"ԆuM=X]އ6t_zN귣u@*݄4VOg+lBw~ ߬$M 0pd[::[j7Q6%@bHU uQ^WmB8[R^fgj1Edթ\;NvXoriBA4%V M 5(ɠZEJq.2E!;z3XLWۉ|40V:9Pr> 7a+/0A0yU_hqG%@WTL 7^HAmM—jƅfj]1)^ʝ:3 Ȓ~c=8Z&p;s$+$„jTRճ&JrulݜgLjMT๺]qtn#=(_t 00ovZ 5#U9r*nDo#n{T1y&GV'[`j"#do.oNOXPxlqP'?zp{r.=LxײUfkX( ߞ"_O끵%0lx=*Ea "uLO(-6fr ?˼r(f(Ǹi(xdꁜnS2kofk"#z}YU ^a/K`^ZյooJNJUIqФn=:xpFdwOzuHٕE,S&YޜhJ|L % 8>w{nc֖B-Qs!@<mL%}] $02sVdl}WvR[Aח BFZH×hYI Kfv\^2ߙY BpڭT,KN 0G&ěNy?`&^ =)EFΘx-q-iʴ6*MeApA>t 28ع-Q@e`JN~c=ߓbD{姳T9٫~5xG绞!4/%<3HP7RPC0</)^jXT2Ȓ66SO0Y<-I \$?Id2 :FV+yw;r6))(GO6IH5Qu-#Y??+l7 o;+CA0F!weejb{Qa cky˓ iEXa<0CӘ~@LdY&h\9_TE! [\0SdyJ@GbSs04uӽNJ3N.3kC8ʧ{LpE=Db VmZh\9NZ%A4?2]BL0$$cA >)V/%|.. N~?v^ 6Rjss, Ƚ徙e olOD\˕ҝGh#؈AN:SAAah-b|iUJ9-8AV[#Qΐi=R3Ƭ³.|U5a;4QsOґ`.UmI 15a;N{V%}geՒ:49i:$pŸ%9..vZޕk4Iex }~Rd0WNk/'gcg:)~| !A ,Юb3LW.%k8hͤ{fADEou>FNӃvSf1%J@"}>9l3.3q'>B\~CϙbmXZ&v~P J9f`ֵM:n`F/rrҏ?,.vtno+'s7F;*6i:;pNi\W=-[ Z!??($X8ω"@̨uatByΎy|tl2Yyx xSIV!R%: lV_/D+3|mx f"]U 8LǓēł4\-a±'ywec:Mj2aO4Z蹙)dF:i)8v8Ꮌ AyV\ֿ#;i?^U3|_ s#N!L LHĚ5da_m7$0 gՃ#;>aF#CFqz>e~ZUAI74ʪrʀbs8ӍOKN^[^ކtɯ1ëoG*G1o\N>eo<s~L0tF*tЏbӑ1CnD&ťU7Ise~Q]-Gd8HW"+U7A~o) IL7 e-ʁO!~F'sL1 'vꉻٴ&Tbu}}1ULbWsF]Y#'-Wg [fml|P!X 䓦ܴHHUү+wa`̑O|@N_Vv"s1̨؛2T@keV"!ׯΛ[Gs{cYeNnO,Hܷ]γ$;4vX{%x؝{z U-3/CbSMr]yXȦ\»' @A,k>~vjb HgV?$Vǀ[2>* Mf@0q[Ɓ;jŚ N3k 1? =hBo: ݔ>>dD޾7(_ WI(AUϔx8V7фԇ |nBf_Bp<t=;d qv\OiZqtJ9E ;eRzZM~>' QPBYUz•DͥbݢT'~քҟXnx0g>,ᔮtHϛS}mvÍ2A:r8lkᯏ/m&V;$f!)񔀲 _+"-}}xw 3ov^(q)ovfu&$Q gpZk53!LV\SMo3+$0L㲄hNZJNLX(Q;_U~P>:40e.}fp_- FJ|1fJb#%(.y֜ 4# E^⃄ N Mz;+ٓ{K`@VAkVt9*} ~,X!#}O[5Q5ҤE [l>spoLh00ӵ>q5яZ󔿊}Nh% sFPw)舴WLG(L~IǪ$}͈RQ= _=m%נvٕYet ъVҔʛ"w!QRPmѯdxqG\4kxS0페agέd-E2% 3baWߺӺ&vDײg' *\zٮ.$z5$&2"\Nz u!#8 L7>L+EԚڎ}z&5#y`V@Z)lMv"j$[78kv=7# "J#2jKv z5_kxRzr,8~'>кgBko?<5Ŋ~w=)hF 'ƫҋ51¼p}Ru!]Ud*G~1N`8&57T;+YЇk}D%]YeOAv u&ݭυ7Y˶XIFoWP%`^FQH5NKb}t?GLrCkA0BV%mK8WU ~"ծ(V OtͨhۤG17AD9]jxOPօWfn!<>UJ#tDP3݇ɚ^:i9b^ |ITw,,I|UJFڵ?=7T2vaKUfM>wgo$1*rQئ,,БbSʸFDL9}Hii-(3d2_q %zk iթnQD) DP*^=+({5ǧ]CRc0Y,ڬ BF >PKG+&5͸QxT%l]Tp8Gob -RB`z,gwjGw htӳ1TLgv]8:mv? AMi rBʐ"7?VQCϾ\lGU|u1c2i7aSm5m89͜hY٢{} $}{nh7vT1LsD^PDc3d⭺r"2qv ʶxn1& սZaBbM&IHqmԝlv$4]@o^G&{Tig=NѦ !?@;Z)^5O.4B 5k f3ϭfלhhnn@7b[ (3SyZ01w/q}-[']98 hiFcuN-#ITR >{7|҃@Ѣ ȁ,yXh8}bV{`3dZ6>fo !wlHk1Xyf_h-D[4ת);Yĕ5A`NA PU UdZ#``qF"@/!Er@:(vpѕzA%5u|@s xmڂkwP-U@dMr5LgCgizhx> V3 fQJޙrmР>W,e ٮv\\dy \q+FZ-(u::#D^PdiIw"^$rK$2zi׹QO?G׃hE5FlY)u퉺-ڥ"P)]N+YdĐ*_xLK$JMN*u@g1)/(՘7%J\mRC1t8-0k4NgBh`(rG0B\a]%8ߴ0.P`pW4$a^)*xi@8{5}*琡5FuޛCT9VDœ[Q3NK&=t:yH]687J;%-F erE4&})9鼅1z#4{"k3aca gT~ 1?PgYgd./Ԫ-(][*ٺޅ%QX9f/nۂy4(C62B-0l W[\;]&]uؒ՜ QKdp;J}ϠxdE* 5 c@Z -t)y9٠h,_Nv%b-:foµXAV E̴k*r\mVy}kJѳt/`lLtFۚGgfpZ$F#CviOZvn)Wnmv}Q~ nyQq.&Y֫1:X2x7ԃ>zhEr+x T[`-w{IR.,PjI\xU`>%gӂEÛomuu˗\F)m Z= P jx ֧^"ǜR1*A{b}7YSz|! YZ