CTAN Comprehensive TeX Archive Network

CTAN up­date: bussproofs-ex­tra

Date: June 3, 2019 6:59:10 PM CEST
Richard Zach sub­mit­ted an up­date to the bussproofs-ex­tra pack­age. Ver­sion num­ber: 0.4 2019-05-31 Li­cense type: lp­pl1.3c Sum­mary de­scrip­tion: Ex­tra com­mands for bussproofs.sty An­nounce­ment text:
Bet­ter im­ple­men­ta­tion of line la­bels; add short­De­duce; style de­duce lines
This pack­age is lo­cated at http://mir­ror.ctan.org/macros/la­tex/con­trib/bussproofs-ex­tra More in­for­ma­tion is at https://www.ctan.org/pkg/bussproofs-ex­tra
Thanks for the up­load. For the CTAN Team Man­fred Lotz We are sup­ported by the TeX user groups. Please join a users group; see http://www.tug.org/user­groups.html .

bussproofs-ex­tra – Ex­tra com­mands for bussproofs.sty

This pack­age pro­vides ad­di­tional func­tion­al­ity for bussproofs.sty; specif­i­cally, it al­lows for type­set­ting of en­tire (sub)de­duc­tions.

Pack­agebussproofs-ex­tra
Ver­sion0.4 2019-05-31
Copy­right2019 Richard Zach
Main­tainerRichard Zach

An­nounce­ments

more

Guest Book Sitemap Contact Contact Author