CTAN update: prooftrees

CTAN Announcements ctan-ann at ctan.org
Fri Feb 10 07:45:59 CET 2017

Clea F. Rees submitted an update to the



Version number: 0.6
License type: lppl1.3

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

Announcement text:
This version provides compatibility with bussproofs.

This package is located at 

More information is at


   Thanks for the upload.

     For the CTAN Team
    Manfred Lotz

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

More information about the Ctan-ann mailing list