CTAN update: prooftrees

CTAN Announcements ctan-ann at ctan.org
Tue May 17 05:34:08 CEST 2016

Clea F. Rees submitted an update to the



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 

More information is at

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

More information about the Ctan-ann mailing list