summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/ebproof
ModeNameSize
-rw-r--r--README.md1438logplain
-rw-r--r--ebproof.dtx56068logplain
-rw-r--r--ebproof.ins557logplain
-rw-r--r--ebproof.pdf496893logplain