| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2015-05-29 | Added print/tex-bussproofs 1.1, a TeX package to produce proof trees in | jaapb | 1 | -0/+12 | |
| the style of the sequent calculus. | |||||
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |