From Newsgroup: comp.text.tex

Clea F. Rees submitted an update to the

prooftrees

package.

Version: 0.9.1 2025-09-04
License: lppl1.3c

Summary description: Forest-based proof trees (symbolic logic)

Announcement text: ----------------------------------------------------------------------

All forest keylists are now left untouched to make user customisation
easier and some additional keylists are reserved for user use.
These are before copying content, before making annotations and
before annotating.
A couple of long nodewalk steps are either documented or added
for easier navigation and a convenience style to facilitate drawing
around nodewalks is provided.
The package will now explicitly error if tagging is activated.
(It is possible to avoid this if you are sufficiently determined
and produce something which at least satisfies verapdf and
provides useful alt text automatically, but this is unsupported.)

----------------------------------------------------------------------

The packagerCOs Catalogue entry can be viewed at
https://ctan.org/pkg/prooftrees

The packagerCOs files themselves can be inspected at
https://mirrors.ctan.org/graphics/pgf/contrib/prooftrees/

------------------------------------------------------------------------

Thanks for the upload.

For the CTAN Team
Petra R|+be-Pugliese

------------------------------------------------------------------------

CTAN is run entirely by volunteers and supported by TeX user groups.
Please join a user group or donate to one, see https://ctan.org/lugs
--- Synchronet 3.21a-Linux NewsLink 1.2