(TXT) README.md
 (TXT) manifest.txt
 (DOC) prooftrees-code.pdf
 (DOC) prooftrees-doc.pdf
 (TXT) prooftrees.dtx
 (TXT) prooftrees.ins
 (TXT) prooftrees_biber.bib