CTAN update: prooftrees

CTAN Announcements ctan-ann at ctan.org
Mon Jun 19 11:33:51 CEST 2023


Clea F. Rees submitted an update to the

                prooftrees

package.

Version:  0.8 svn 9582 2023-06-18
License:  lppl1.3

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

Announcement text:
----------------------------------------------------------------------
 
 Corrects a bug affecting the positioning of closure symbols.
 These should no longer be oddly distanced from the last wff
 in the branch.

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

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


More information about the Ctan-ann mailing list