summaryrefslogtreecommitdiff
path: root/support/proof
ModeNameSize
-rw-r--r--README3879logplain
-rwxr-xr-xedit487logplain
-rw-r--r--example.mf3761logplain
-rw-r--r--example.mp1986logplain
-rw-r--r--example.tex11767logplain
-rwxr-xr-xinstall1929logplain
-rwxr-xr-xproof10965logplain
-rw-r--r--proof.110044logplain
-rw-r--r--proofrc5696logplain