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 package’s Catalogue entry can be viewed at
https://ctan.org/pkg/prooftrees
The package’s 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
_______________________________________________
ctan-ann mailing list -- [email protected]
To unsubscribe send an email to [email protected]
