CTAN update: bussproofs-extra

[CTAN Announcements]

Richard Zach submitted an update to the

                bussproofs-extra

package.

Version number: 0.4 2019-05-31
License type: lppl1.3c

Summary description: Extra commands for bussproofs.sty

Announcement text:
----------------------------------------------------------------------

Better implementation of line labels; add shortDeduce; style deduce
lines

----------------------------------------------------------------------

This package is located at 
   http://mirror.ctan.org/macros/latex/contrib/bussproofs-extra

More information is at
   https://www.ctan.org/pkg/bussproofs-extra


------------------------------------------------------------------------

   Thanks for the upload.

     For the CTAN Team
    Manfred Lotz



We are supported by the TeX user groups.
Please join a users group; see http://www.tug.org/usergroups.html .