New on CTAN: bussproofs-extra

[CTAN Announcements]

Richard Zach submitted the

                bussproofs-extra

package.

Version:  0.3 2019-04-04
License:  lppl1.3c

Summary description:  Extra commands for bussproofs.sty

Announcement text:
----------------------------------------------------------------------
 
 Provides additional functionality for bussproofs.sty;
 specifically, it allows for typesetting of entire (sub)deductions.

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

The package’s Catalogue entry can be viewed at
   https://ctan.org/pkg/bussproofs-extra

The package’s files themselves can be inspected at
   http://mirror.ctan.org/macros/latex/contrib/bussproofs-extra/

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

   Thanks for the upload.

     For the CTAN Team
    Petra Rübe-Pugliese

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

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