Additional functionality for bussproofs.sty
TeX Makefile
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
Makefile
README.md
bpextra.dtx
bpextra.ins
bpextra.sty

README.md

bpextra

Additional functionality for bussproofs.sty

To install, download the files, run

latex bpextra.ins

To generate the documentation, run

pdflatex bpextra.dtx
makeindex -s gglo.ist -o bpextra.gls bpextra.glo 
pdflatex bpextra.dtx