Index of /pub/CTAN/support/proof

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