name bussproofs.doc
category Package
revision 54080
shortdesc doc files of bussproofs
relocated 1
docfiles size=42
 RELOC/doc/latex/bussproofs/BussGuide2.pdf
 RELOC/doc/latex/bussproofs/BussGuide2.tex
 RELOC/doc/latex/bussproofs/README.txt
 RELOC/doc/latex/bussproofs/testbp2.pdf
 RELOC/doc/latex/bussproofs/testbp2.tex
