summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/synproof
ModeNameSize
-rw-r--r--README655logplain
-rw-r--r--synproof-doc.pdf69056logplain
-rw-r--r--synproof-doc.tex11952logplain
-rw-r--r--synproof.sty5895logplain