summaryrefslogtreecommitdiff
path: root/print/tex-bussproofs/DESCR
AgeCommit message (Expand)AuthorFilesLines
2015-05-29Added print/tex-bussproofs 1.1, a TeX package to produce proof trees injaapb1-0/+8