| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| QED.sty | 1996/06/24 18:54:00 | 32907 |
| prooftree-doc.dvi | 1995/10/03 11:53:00 | 7336 |
| prooftree-doc.pdf | 2006/03/19 16:02:00 | 80732 |
| prooftree-doc.tex | 1995/10/03 11:53:00 | 5056 |
| prooftree.sty | 1996/08/20 13:15:00 | 12552 |
| prooftree.tex | 1996/08/20 13:15:00 | 12552 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.