| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| LICENSE.txt | 2019/06/02 07:55:26 | 19106 |
| README.md | 2019/06/02 07:55:26 | 359 |
| bpextra.sty | 2019/06/02 07:55:26 | 193 |
| bussproofs-extra.dtx | 2019/06/02 07:55:26 | 22585 |
| bussproofs-extra.ins | 2019/06/02 07:55:26 | 2118 |
| bussproofs-extra.pdf | 2019/06/02 07:55:26 | 225363 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.