summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/prooftrees
ModeNameSize
-rw-r--r--README1580logplain
-rw-r--r--manifest.txt649logplain
-rw-r--r--prooftrees.pdf851947logplain
-rw-r--r--prooftrees.tex89555logplain
-rw-r--r--prooftrees_biber.bib762logplain