Index of /doc/texlive-doc/latex/prooftrees

	Name	Last modified	Size	Description
	Parent Directory		-
	README.md	2024-10-26 22:16	2.1K
	manifest.txt	2024-10-26 22:16	1.1K
	prooftrees.pdf	2024-10-26 22:16	1.1M
	prooftrees.tex.gz	2024-10-26 22:16	24K
	prooftrees_biber.bib	2024-10-26 22:16	1.1K