summaryrefslogtreecommitdiff
path: root/print/tex-bussproofs
AgeCommit message (Expand)AuthorFilesLines
2015-05-29Added print/tex-bussproofs 1.1, a TeX package to produce proof trees injaapb4-0/+27
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-31 02:49:51 +0000