summaryrefslogtreecommitdiff
path: root/paper/prooftree.sty
AgeCommit message (Expand)AuthorFilesLines
2016-06-03First version almost finishedCamil Staps1-0/+374