Clea F. Rees submitted an update to the
prooftrees
package.
Version: 0.9.2 2026-01-19
License: lppl1.3c
Summary description: Forest-based proof trees (symbolic logic)
Announcement text:
----------------------------------------------------------------------
Requires forest-ext v0.2. Tagging is now publicly documented.
Tagging code will be automatically generated if tagging is
active when a tableau is typeset.
----------------------------------------------------------------------
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]
