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 .