Index of /pub/ctan/macros/latex/contrib/synproof

Icon  Name                            Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] synproof.sty 2009-07-05 15:26 5.8K [TXT] synproof-doc.tex 2007-06-09 18:03 12K [   ] synproof-doc.pdf 2007-06-09 18:11 67K [   ] README 2007-06-09 16:53 655
Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80