Index of /pub/ctan/support/proof

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] install 2002-09-30 17:10 1.9K [   ] proof 2002-09-30 17:10 11K [   ] 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 [TXT] example.tex 2002-09-30 17:10 11K [   ] proofrc 2002-09-30 17:10 5.6K [   ] README 2002-09-30 17:12 3.8K [   ] proof.1 2002-09-30 17:13 9.8K
Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80