CTAN Comprehensive TeX Archive Network

New on CTAN: bussproofs-extra

Datum: 5. April 2019 21:02:29 MESZ
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 .

bussproofs-extra – Extra commands for bussproofs.sty

This package provides additional functionality for bussproofs.sty; specifically, it allows for typesetting of entire (sub)deductions.

Paketbussproofs-extra
Version0.4 2019-05-31
Copyright2019 Richard Zach
BetreuerRichard Zach

Ankündigungen

mehr

Gästebuch Seiten-Struktur Impressum Autor kontaktieren