summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/ebproof
ModeNameSize
-rw-r--r--README707logplain
-rw-r--r--ebproof.pdf196387logplain
-rw-r--r--ebproof.tex17108logplain