CTAN update: bussproofs-extra
Date: June 3, 2019 6:59:10 PM CEST
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 .
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 .
bussproofs-extra – Extra commands for bussproofs.sty
This package provides additional functionality for bussproofs.sty; specifically, it allows for typesetting of entire (sub)deductions.
| Package | bussproofs-extra |
| Version | 0.4 2019-05-31 |
| Copyright | 2019 Richard Zach |
| Maintainer | Richard Zach |