| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| README | 2007/06/09 15:53:40 | 655 |
| synproof-doc.pdf | 2007/06/09 17:11:40 | 69056 |
| synproof-doc.tex | 2007/06/09 17:03:42 | 11952 |
| synproof.sty | 2009/07/05 14:26:42 | 5895 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.