ctan-ann - bussproofs-extra https://www.ctan.org/ctan-ann/rss/bussproofs-extra.xml CTAN announcements mailing list - for package bussproofs-extra Fri, 11 Sep 2026 07:20:52 +0200 en-US 60 webmaster@ctan.org (Comprehensive TeX Archive Network) Comprehensive TeX Archive Network https://www.ctan.org/assets/favicon/android-chrome-48x48.png https://www.ctan.org/ctan-ann/rss/bussproofs-extra.xml New on CTAN: bussproofs-extra https://www.ctan.org/ctan-ann/id/mailman.759.1554490962.4318.ctan-ann@ctan.org 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. ... ]]> Fri, 05 Apr 2019 21:02:29 +0200 https://www.ctan.org/ctan-ann/id/mailman.759.1554490962.4318.ctan-ann@ctan.org CTAN update: bussproofs-extra https://www.ctan.org/ctan-ann/id/mailman.2348.1559581152.4318.ctan-ann@ctan.org 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 ... ]]> Mon, 03 Jun 2019 18:59:10 +0200 https://www.ctan.org/ctan-ann/id/mailman.2348.1559581152.4318.ctan-ann@ctan.org