summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/bussproofs
ModeNameSize
-rw-r--r--bussproofs.sty32380logplain