texlive-prooftrees-8:svn43184-23.oe1 >  A _)W^^f)e^cptW%{ ~;v:hE0P+cOsr%TmjfTeNj]9eˀ]vʺLODݔYCot3CtZ2S[ӱp/j nIcx@+J.9KޤK^ Թ$炀JPlՅ :!"Z>p= ? d( , Vhl   ( 0 @  ,d(1889D:FTGtHIXY\]^ bc d e f #l %t @u Pv `z     Ctexlive-prooftreessvn4318423.oe1Forest-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._eecs-obsworker-0010openEuler:20.03:LTS:SP1 / standard_x86_64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ$A큤A큤_ Q3_MXTC5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb38191f8225499666528d99e570dd3d1bfbd67077b3b91d4f993b4fb0de5de63crootrootrootrootrootrootrootroottexlive-2018-23.oe1.src.rpmtex(prooftrees.sty)tex-prooftreestexlive-prooftrees    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.2-14.15.1_^$D]Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initecs-obsworker-0010 1607407973201820188:svn43184-23.oe1texlive-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 -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/openEuler/openEuler-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection obs://private/openEuler:20.03:LTS:SP1/standard_x86_64/f21e64fccbe6b07fc33ced66a669d29a-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textUTF-8 Unicode text, with very long linesZ:p_Sutf-8c40bb35c27d0d53a4fcf38b988a99cdb9a9892f5419a8943f69fdf25546dc9e5?07zXZ !#,=$] b2u jӫ`(xyJt(ZOQp u˜Ip!B  qyH%YsގpV `8F"M6I~N_:lnR}k8.Ȧ*Rb-z-|߅@;O¤Æ"Җ A^p. FP⩹3 /j|Bi,=pn0kfbiTl[w#19Za5gl҅&F.ܔB(Bu+xu (S ̫xvJJt͖^gu.xL#ƬSUl+Ftj1 CU;xdmΙs3SFpAN뒥 -p&BS8ZD_\#B XTݘ[ p  `>yfՎ2>|j[_Ѯ񉅲On2j2e}/M.vJ l}|< >0!E[68GoJEv]f!ߙ-Pb@xԀd>@D 澈e[vzC\o2Yw4sEUl],cHZ5뺂1w B{q2&zk8. 6f{*Y@YMB`/L_i_NN{nTc 2s=4{USxSYq?r{&Jyu2l3~Q^! tƻe=i EBF!ypzYhf&Fy) ^z{IyV:|x{f$%4BkW^gXQKdq.x!jZ\/oBV7<_ЌMhSM5K{\Y 7$iCtC̡ yZGKy"ƓNU5W y* UB?k}DȪ F2tOR>gY3,H?n(~D]_Q)zqRNL8-]m]#oziNюԇ?GmuV<[ i`ʩ>$ҟqud_{!-:TtSGv%c&M4׌ ػl(%6q¢)i{h'ԭQJOugRS(0,,Z۳+i@⽅^V2W# tf7b:CW!kpn9c_D:PI1 Q=.'MOxb\c%%D_FZ 4P[V[2 1ZZ77X@"v[0ѐE@sP0:A i-ޠh%1 jP n sD6p>HZ*ctJ5m8ˌ=` &͝1$=!FCBCSKB@/hNE p͗,o,$ũ4ilEV:ȝ~pvF9@rG~[rrB9 Ԫ"4(e*22 YIcŎyOc\8p}/A>bi<5`0wf 1x-:m1|F>]ǾB0l"HoL1~FUM4IMh')70q7KH<T,wO-(~0Ye ȐLڟ]$X"ըS*Ί(Wu|{=&kaԉ!`=e;cv3cFꀈ8. $*QcsK&BsnJ7čd8N-&l~Kr"|r A>{!Cz){pRvZDF̎^ %'oY6Vnc;/zL[9!J`$zO8eg퀮q | .Aϛ 3InnV0D1ŷtwBƑ)XVgUVΆ٤w(#N~@i~*JqQ. mn}gXǥZ XS0_{_ܴu4OtFK[=20 ᪴'W G aJ=雾;.ژxR$yqE"^$ݗ/"0E#I\#z] KIJp )2BR"h8eTəx D\YUva9IKtl![L5X؀ $#vd&[^VJzH tۅ`tNZiJX@owӪA }|&6]Vh,BzD~(KF|Ok3ñy$W)W ! P=XRz).sD0n3RS{](?d8FִhIuVBĕ ;h5H?^h%R֋}iu~Ϳ%Aڗy&8PǺ+ @:Uͪ#} 7Iv$ |?_r/Y7j]=yf}W>UDrTK-F*g0L4Ӳ~@!`Ø$_I$mtG\nuAj~´~ b%4QqX-( 7N ~(ڝlj d!AFn-?SG-aS[nȁ,QssIhekp%h)Sk7U֣d7hS&QLlh1Mӷnlem &')r4[XoW +֓[0xbZF@@e0iK.)"/v>8x:τ#>b`|=2ڠhRs=sW NJQ$BeP3gҘ cjƂ 2 =u8H2YL\_Tow1AZM\1+OԾN&nDp0J J,(H*!Dɪ0{*(nnajLؒ Mg O~pZVWBFpڽhQ&#'S*F7 q}C4<3SvqAMu&ڃ[𘍨rb:R9M 4>BPli, fIc\Ix1e>ZhOtnepP݌[و*c6]K˹q~>>m¥Ͻ29w5[JDlGcfrJM~OvK|5=)%YkI!51%Džֶ!sG)NyynY~lVf‚෹ %a`q™~5 7*sZ0gsuNP3z6+tA 2U|S ~ULZV\fblVHiN-2|ND-z}NC&x ʦv$9GtlsS '}W:m~KPHq7S0s MSәjH[~B)? ʚR{uD!,T95)hFh֏=]r}Oۼp貗Tg=dڨM2h˱LRZAc+< 37)C s c2u>=LљPLc csչI\doڌi0lUZsIɴ/t'%zIܦ[[2uvV?"eY[$6qsu7{\H=eeyp'K&}E\~k 2a|컝.8 GI9|s{S*cm= ^ټs/A[dL5 GllL30 ްN|!%>qmˌN~=kN$J;Ƕ5vO@okgr90(ϸ4rA&.۽V~0p(dH =shC8\a?jx2[]hX?W ew|d[*`$/hT56 mxrFm{UH؅1%3 hmXS՝(l@FwǬ]HLʷ8komzeYs)X" A.*wE'!/)0}"dA#`2);3D?)squJ uwϱ|?fJ=ei˨&up5fLi2t3z;nc("{W3ZX[g0u'$lVXXpX%>6̡uSοq ,n(Aa`=PΕtr\D\a4.lIh = c@Z뢦bݶOοK. Ri"s]0sM#'pVfj6+v%@엿XSū\\qPMrZgU<(M= HR4WA%υ6BnH]pnމ%*_gY6 !XaoIxkz|6DmO4h8$%י<4`L- ؖv>}}x Ofng^NĐYMN7V=Tyfdd85A+Fm4юFQv5fKi-E0@RunW/1`xHwPMG}_WZqe^.$r  Jx99Tz % ^ OLD?Gм/5O+pB[o6DbIݘI)#(6<7/+3]Ya(s\kc-3Au|-!g{plE&"I*uNk=H6qyh`^r=3pm|SǸԩ|j{-=o{| o\ϵu:N6T=pF>0](xIм&^eѲzkO&!a5$RNR(f#U|wj;o#fR@1 `Gy:vdwC6'zLjT{@7G_p l5{bF f ՉwEfYP 2)pGOٙb_Ӗi Ͻ‘<yI@_;HDdrl A.2f$jnPtcsx,L7 ;RW|ZѓZ +֯ɖ&wVwgW7 vVɬjkmbd!.OE7V̎TSfhyU`՟%2jm! 7ɦVu2EJ{2G+dRCsRYz2pQ"-ދ|!!fr H*W1=ᐆWYgYP#%Ʀ=!-|ݑvx N\[o(FpFYytpAbi L ,QV +]D%0^k/2>vi/mueq5ہV$ML>a)MjIf,F ibVs{O{CB`pT6C]F<遨X/;= KT:ׅp/տЫQAI7($;HlМXGLp0,}/Xտ_,V$ˈ%@`! \7-wo_Tds.zdij'̹ŌZmt7,ǣO~MŭM^xYϑ<p8eѴ1HGg^/*}x*Wx*mꋷ_7ҙ#c_jHMqCPWF>.ϟBڴ V(hu\]_J*NiّKOjhpwQ0yyNRَF;7zZ(zTp@Y>KQENũy|3fSWr(QYhg?cZ"2BgZq"邇L]L&?!ЌEb> L'~N W\r ;\h&ZrSJ?5Vzffhisj@agey;"az%(,அ0V1JUCS *I[q 9DjlnܖڙFvPwe$ȕ8N؈بCeki)s<\?*7YiG_ d.^Ћ`ؠ4S>G51!33CC00>^{k#lje-WҸH;lc<ҷl$1*\(Us88lLL)XRE,\!K_Le] _Խ,to= g2.^Eto ء~Q-z0XgA%AN +a2,BQ:h)vJ5ڵ u6 u(HsCf^H&j һO"ߧVM 7 LP\b"g>IQ.#Q" ԫpe2LHb]/8ík>TÂE{z͕>MXL|aS$ڇJosInqQSfO_Tt^fٿUtLrPGHvȥ攒?վg8kc$Xӹa!uέNQ/ϧL7y8&( dŧ W؝ž&f͹c.BM{E@H-!װ. WgȔXJ|\KQ7tw]YYg$[OD+b -2iI.K(@}c~eMvzF+B@ՁҡkU2UU\Ȩ̙o9KPtKK!kU<%f>ߩ^1~N^`*G"vP; AcpoD z|~TF+Id`Wa\|vcP- kѦXx/U髁s42<[LKDx (o){bZn%&QGǂmԄaKf8zQ.#*H %vd% kR@ޫᘸ8k ^8^PGWLHsyQ1O 3^ȳUDz_r'2!F3{ԩDج`fT*YTUwcOeu:CuE/8">WƻOwh/ۼX;0FEK_ɸ(1/q \K"_n`@\!)%k&)omil~eik :n^ͪ0Lc~vDL0xD"$lRm{RT;[v~bQ씟b:~7;*(1}B[><H'9 :Ըjޱ g;wev* !tun&N10]f]+⦜^6ϏC ARj1؅wXPqu8KcTS _ev/\k _8JuZcfc>&Lc)dhlΨ0UisD`:oPL$u'@Xu}V_d Wem nf0{YBe}J( [њh:Xtc`vSJ+SwVzjSgXΎir(#H9hU_G&.h]5#4~m6K5.c7 lh`ӝ~^ "uԠЪ-\W9]u.*j7=mΘO%Xs,Ng{dcQg':H8LusUd!WAS`9Z?X}PdFdrriojЁƜ~br"Iv߄#ݹf>,TYp~\Q0s]ǰ i5QI C-a_-f-zf;*]BM#-B ߸hbMrΥ .\n"Ob{rĜ^+"Fz矜* M=xC(ҚVN{n]C +Of|znU%=SLc4 ºYLKeԒdȴ`j4㓌j]4xQuC"'R-nn'5y$_hgV*ra)v-WnIh3@'։e{1XaͻK 4R_lcub !ɞ'Cz-/鎦E2 H7AN:jԢXČȪmx(\+RԨ=28&&v:xL! .K7b<9ghX]V+2Y'DH8W"m&qiS>^T^ I9Aj5yQD$]VY= iKI77?蚞hCHW]E5eAYP@qܯڨ\n4{qP<ŌNtI3Qp:H1]tOsمY B_1J[U֓϶;}$=]2ugNFwhLNl*Bm Jy@BZB͡׌!3©I<#lBǘa4i8k9&97/mɽJ? z)a2JOoIM˂uF" ֒mɨ~y/XEq= 9f ϱrP%@chvld".XHwd/B/<^\y":EE0XtDf@$&xE8|gGQ >v!}9+0,-_6n~7%@dҙɹh MؕƓ9'{0>ﯣXQR0kT!~0BKN"1Ej@K+?A~)f;_R-vs"L3o r7Yz]v*򕁙\9Jpc+ZQb0't:ujRyɢ/)'$ota8B1_e(o㦓Ӌށ&DےBF[T^nCS:=o7>>p%(_~dmY\-D7K<*S*Ah Ic{CxJ|`STTn牛e\_JC,=π,ȤU1 F/q=7\ ϦQ"\O*S̩D. U\ 7n`lsz0ʁ*J׍i(E}2HԖ53fno* r4Cg/4?dH|TNqFQQH^x2_fEs!R#ޒ^Ebck<D*JOѬ{ݧoZV݈Q*+#qGOQ3poKʇ,@yR+H 7\W &jCduyA;܏SgI RO|#QMr%ntׂ% 8Z3o/~5 q|4oۡ5Ǥ+"IR˞ ["Ij202"B!KQ?B<8[$}6CO  3''|˹,:?<A|@P `r8<#Ϫy=hp^rҺd 'MX|+ œ;(Va< !N·| "oXJBՙq? D_񁰵Z Y=Z`D=T z [g 'BhM^jĶTYgb:01q6.)-p>ރ|uG0Ϥ ],,bƟ" ό20@bf3n#c^y) ~$ .}GL~<$XݽhftW<1$-4(1us`{ږ7@lސGSwŪ(DrW, Ʊ, dܰMM){Y֗ ,8(7 w3OK{NO=dz^ZHhG-l Sc:l#`2z, ]w5ٮI*|_v&ď^)eAղ|R)*X4a|gv h?P9h@?lY$+)ĭ~۞ٖeϞnAT, UACsʲ<IPhahXXdz4jg(ȃfssBӇ4m^EBI?D-XjQaO+u7GUcJϝF0P^C]9o yjG+AWr\t᝻;cjP|+s0 S_8wpBרWv^a/(-.:pi~N[ SDԦ=.V 8_DEy krw >~P[ c` rK{ hƾD {ى_IB||$8{4^oǰO SmL`y0z"YWl.n}zpxNn?(]\ bXJVX`]TH(~2Q[Tɥa mƔ]ܑXՇ^p(3j `=[(/t6jǷ`B4#ͣ}=1zg}Hf+99AabPt /< 9JMC89-gN-ً4!Z]qυ ؃@)t/( _#'^:scC>@[6tY1[pZ\ W,bKUjh_NV`= +.zX1ȟJXcT2 R.hE5Ģtec? VxUe{Ezض YZ