# Manifest for prooftrees

Copyright (C) 2016-2026 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` from a script I am
too ashamed to share.

## Source files


### Package files


* README.md
* manifest.txt
* prooftrees_biber.bib
* prooftrees.dtx
* prooftrees.ins

### Development files

Development files are not required to generate package files and are excluded
from the CTAN archive. l3build automatically excludes build.lua when building
for CTAN and none of the rest are usable without it.

* build.lua
* tag.lua
* config-mem.lua
* config-tag.lua
* config-tag-mem.lua
* prooftrees-conflicts-t1.lvt
* prooftrees-conflicts-t1.tlg
* prooftrees-memoize-t1.luatex.tlg
* prooftrees-egs.lvt
* prooftrees-egs.tlg
* prooftrees-egs.luatex.tlg
* prooftrees-egs.xetex.tlg
* prooftrees-t83-wffs-from-proof-line-no-to.lvt
* prooftrees-t83-wffs-from-proof-line-no-to.tlg
* prooftrees-t83-wffs-from-proof-line-no-to.luatex.tlg
* prooftrees-t83-wffs-from-proof-line-no-to.xetex.tlg
* prooftrees-memoize-t1.lvt
* prooftrees-memoize-t1.tlg
* prooftrees-memoize-t2-alignment.luatex.tlg
* prooftrees-memoize-t2-alignment.lvt
* prooftrees-memoize-t2-alignment.tlg
* prooftrees-memoize-t2-alignment.xetex.tlg
* prooftrees-tag-t1.luatex.tlg
* prooftrees-tag-t1.lvt
* prooftrees-tag-t1.tlg
* prooftrees-tag-t2.luatex.tlg
* prooftrees-tag-t2.lvt
* prooftrees-tag-t2.tlg
* prooftrees-tag-t3.luatex.tlg
* prooftrees-tag-t3.lvt
* prooftrees-tag-t3.tlg
* prooftrees-tag-t4.luatex.tlg
* prooftrees-tag-t4.lvt
* prooftrees-tag-t4.tlg
* prooftrees-tag-mem-t1.luatex.tlg
* prooftrees-tag-mem-t1.lvt
* prooftrees-tag-mem-t1.tlg
* prooftrees-tag-mem-t2.luatex.tlg
* prooftrees-tag-mem-t2.lvt
* prooftrees-tag-mem-t2.tlg


## Derived files


### Package files

* prooftrees-debug.sty
* prooftrees.sty
* prooftrees-code.tex
* prooftrees-doc.tex

### Typeset documentation

* prooftrees-doc.pdf
* prooftrees-code.pdf
