summaryrefslogtreecommitdiff
path: root/print/tex-bussproofs
AgeCommit message (Expand)AuthorFilesLines
2015-11-04Add SHA512 digests for distfiles for print categoryagc1-1/+2
2015-05-29Added print/tex-bussproofs 1.1, a TeX package to produce proof trees injaapb4-0/+27