Index of /CTAN/macros/latex/contrib/bussproofs-extra/

NameLast ModifiedSizeType
../ -  Directory
LICENSE.txt2019-Jun-02 03:55:2618.6Ktext/plain; charset=utf-8
README.md2019-Jun-02 03:55:260.3Ktext/markdown; charset=utf-8
bpextra.sty2019-Jun-02 03:55:260.1Ktext/x-tex; charset=utf-8
bussproofs-extra.dtx2019-Jun-02 03:55:2622.0Kapplication/octet-stream
bussproofs-extra.ins2019-Jun-02 03:55:262.0Kapplication/x-internet-signup
bussproofs-extra.pdf2019-Jun-02 03:55:26220.0Kapplication/pdf
lighttpd/1.4.59