ctan-ann - bussproofs-extra Announcements of the Comprehensive TeX Archive Network ctan-ann-bussproofs-extra 2026-09-11T07:20:23Z New on CTAN: bussproofs-extra mailman.759.1554490962.4318.ctan-ann@ctan.org 2019-04-05T21:02:29Z Richard Zach submitted the bussproofs-extra package. ... 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. ... ]]> CTAN Announcements ctan-ann at ctan.org CTAN update: bussproofs-extra mailman.2348.1559581152.4318.ctan-ann@ctan.org 2019-06-03T18:59:10Z Richard Zach submitted an update to the bussproofs-extra package. ... 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 ... ]]> CTAN Announcements ctan-ann at ctan.org