| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | QED.sty | 32907 | logplain |
| -rw-r--r-- | prooftree-doc.dvi | 7336 | logplain |
| -rw-r--r-- | prooftree-doc.pdf | 80732 | logplain |
| -rw-r--r-- | prooftree-doc.tex | 5056 | logplain |
| l--------- | prooftree.sty -> prooftree.tex | 13 | logplain |
| -rw-r--r-- | prooftree.tex | 12552 | logplain |
 |
index : CTAN | |
| CTAN daily syncs as git repository | norbert@preining.info |
| summaryrefslogtreecommitdiff |