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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-21 00:22:37 +0000