Index of /support/proof

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] README 2002-09-30 18:12 3.8K [   ] edit 2002-09-30 18:10 487 [   ] example.mf 2002-09-30 18:10 3.7K [   ] example.mp 2002-09-30 18:10 1.9K [TXT] example.tex 2002-09-30 18:10 11K [   ] install 2002-09-30 18:10 1.9K [   ] proof 2002-09-30 18:10 11K [   ] proof.1 2002-09-30 18:13 9.8K [   ] proofrc 2002-09-30 18:10 5.6K
Apache/2.4.25 (Ubuntu) Server at ctan.mines-albi.fr Port 80