bussproofs-extra: List of files
This package includes 7 files with a total size of 262116 bytes.
| Name | Directory |
|---|---|
| texmf\tpm\packages\bussproofs-extra.tpm | |
| texmf\tex\latex\bussproofs-extra\bussproofs-extra.sty | |
| texmf\tex\latex\bussproofs-extra\bpextra.sty | |
| texmf\doc\latex\bussproofs-extra\bussproofs-extra.pdf | |
| texmf\doc\latex\bussproofs-extra\README.md | |
| texmf\doc\latex\bussproofs-extra\LICENSE.txt | |
| texmf\source\bussproofs-extra-src.tar.xz |