TEXT README TEXT edit TEXT example.mf TEXT example.mp TEXT example.tex TEXT install TEXT proof TEXT proof.1 TEXT proofrc