CTAN update: prooftrees

[CTAN Announcements]

Clea F. Rees submitted an update to the

                prooftrees

package.

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 
   http://mirror.ctan.org/graphics/pgf/contrib/prooftrees

More information is at
   https://www.ctan.org/pkg/prooftrees


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

   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 .