summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/lkproof
ModeNameSize
-rw-r--r--lkproof-doc.pdf256379logplain
-rw-r--r--lkproof-doc.tex2704logplain
-rw-r--r--proofeg.tex1752logplain