summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/bussproofs-extra
ModeNameSize
-rw-r--r--Makefile345logplain
-rw-r--r--bussproofs-extra.dtx18940logplain
-rw-r--r--bussproofs-extra.ins2118logplain