Index of /CTAN/support/proof

      Name                    Last modified      Size  Description
Parent Directory - edit 2002-10-01 04:10 487 install 2002-10-01 04:10 1.9K example.mp 2002-10-01 04:10 1.9K example.mf 2002-10-01 04:10 3.7K README 2002-10-01 04:12 3.8K proofrc 2002-10-01 04:10 5.6K proof.1 2002-10-01 04:13 9.8K proof 2002-10-01 04:10 11K example.tex 2002-10-01 04:10 11K