summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/bussproofs-extra
ModeNameSize
-rw-r--r--LICENSE.txt19106logplain
-rw-r--r--README.md359logplain
-rw-r--r--bpextra.sty193logplain
-rw-r--r--bussproofs-extra.dtx22585logplain
-rw-r--r--bussproofs-extra.ins2118logplain
-rw-r--r--bussproofs-extra.pdf225363logplain