summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/ebproof
ModeNameSize
-rw-r--r--README.md1410logplain
-rw-r--r--ebproof.dtx55451logplain
-rw-r--r--ebproof.ins557logplain
-rw-r--r--ebproof.pdf496470logplain