Index of /pub/CTAN/support/proof

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]README2002-10-01 01:12 3.8K 
[   ]edit2002-10-01 01:10 487  
[   ]example.mf2002-10-01 01:10 3.7K 
[   ]example.mp2002-10-01 01:10 1.9K 
[   ]example.tex2002-10-01 01:10 11K 
[   ]install2002-10-01 01:10 1.9K 
[   ]proof2002-10-01 01:10 11K 
[   ]proof.12002-10-01 01:13 9.8K 
[   ]proofrc2002-10-01 01:10 5.6K 

Apache/2.4.61 (Unix) OpenSSL/3.0.13 Server at ftp.jaist.ac.jp Port 443