ftp.ntua.gr:/mirror/ctan/support/proof/?C=N&O=D 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[TXT] proofrc                                          30-Sep-2002 19:10  5.6K  
[   ] proof.1                                          30-Sep-2002 19:13  9.8K  
[   ] proof                                            30-Sep-2002 19:10   11K  
[   ] install                                          30-Sep-2002 19:10  1.9K  
[   ] example.tex                                      30-Sep-2002 19:10   11K  
[TXT] example.mp                                       30-Sep-2002 19:10  1.9K  
[TXT] example.mf                                       30-Sep-2002 19:10  3.7K  
[   ] edit                                             30-Sep-2002 19:10  487   
[TXT] README                                           30-Sep-2002 19:12  3.8K
Apache/2.2 Server at ftp.ntua.gr Port 80