| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| README | 2002/09/30 16:12:14 | 3879 |
| edit | 2002/09/30 16:10:53 | 487 |
| example.mf | 2002/09/30 16:10:53 | 3761 |
| example.mp | 2002/09/30 16:10:53 | 1986 |
| example.tex | 2002/09/30 16:10:53 | 11767 |
| install | 2002/09/30 16:10:52 | 1929 |
| proof | 2002/09/30 16:10:52 | 10965 |
| proof.1 | 2002/09/30 16:13:54 | 10044 |
| proofrc | 2002/09/30 16:10:53 | 5696 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.