summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/ebproof
ModeNameSize
-rw-r--r--README.md1391logplain
-rw-r--r--ebproof.pdf227686logplain
-rw-r--r--ebproof.sty23731logplain
-rw-r--r--ebproof.tex22722logplain