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 Announcements