summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/ebproof
ModeNameSize
-rw-r--r--ebproof.dtx55451logplain
-rw-r--r--ebproof.ins557logplain