CTAN update: prooftrees

[CTAN Announcements]

Clea F. Rees submitted an update to the

                prooftrees

package.

Version number: 0.4
License type: lppl1.3

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

Announcement text:
----------------------------------------------------------------------
This version fixes two bugs: line no shift now works correctly and a
stray edge has been eliminated which was otherwise erroneously drawn in
certain cases.
----------------------------------------------------------------------

This package is located at 
   http://mirror.ctan.org/graphics/pgf/contrib/prooftrees

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

We are supported by the TeX user groups.
Please join a users group; see http://www.tug.org/usergroups.html .

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

   Thanks for the upload.

     For the CTAN Team
    Manfred Lotz