CTAN update: prooftrees

CTAN Announcements ctan-ann at ctan.org
Tue Oct 1 11:01:41 CEST 2019

Clea F. Rees submitted an update to the



Version number: 0.7 svn 8641
License type: lppl1.3

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

Announcement text:

Bug fix for https://tex.stackexchange.com/q/479263/39222; addition of
auto move boolean for disabling automatic algorithm for line moves.


This package is located at 

More information is at


   Thanks for the upload.

     For the CTAN Team
    Manfred Lotz

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