Index of /pub/CTAN/support/proof

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