# Manifest for prooftrees Copyright (C) 2016-2024 Clea F. Rees This work may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3c of this license or (at your option) any later version. The latest version of this license is in https://www.latex-project.org/lppl.txt and version 1.3 or later is part of all distributions of LaTeX version 2008-05-04 or later. This work has the LPPL maintenance status `maintained'. The Current Maintainer of this work is Clea F. Rees. This work consists of all files listed in manifest.txt. This file was automatically generated by `l3build manifest`. ## Source files ### Package files * manifest.txt * README.md * prooftrees_biber.bib * prooftrees.sty * prooftrees.tex ### Development files * build.lua * manifest.lua * tag.lua * config-mem.lua * prooftrees-memoize-t1.lvt * prooftrees-memoize-t1.tlg * prooftrees-conflicts-t1.lvt * prooftrees-egs.lvt * prooftrees-conflicts-t1.tlg * prooftrees-egs.luatex.tlg * prooftrees-egs.pdftex.tlg * prooftrees-egs.xetex.tlg ## Derived files ### Typeset documentation * prooftrees.pdf