Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README | 3879 | logplain |
-rwxr-xr-x | edit | 487 | logplain |
-rw-r--r-- | example.mf | 3761 | logplain |
-rw-r--r-- | example.mp | 1986 | logplain |
-rw-r--r-- | example.tex | 11767 | logplain |
-rwxr-xr-x | install | 1929 | logplain |
-rwxr-xr-x | proof | 10965 | logplain |
-rw-r--r-- | proof.1 | 10044 | logplain |
-rw-r--r-- | proofrc | 5696 | logplain |