(TXT) README
 (TXT) edit
 (TXT) example.mf
 (TXT) example.mp
 (TXT) example.tex
 (TXT) install
 (TXT) proof
 (TXT) proof.1
 (TXT) proofrc