summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/ebproof
ModeNameSize
-rw-r--r--README1208logplain
-rw-r--r--ebproof.pdf198863logplain
-rw-r--r--ebproof.tex18468logplain