New on CTAN: prftree

[CTAN Announcements]

Marco Benini submitted the

                prftree

package.

Version number: 2014/11/30
License type: gpl

Summary description: A new package to typeset proofs in natural
                     deduction and similar

Announcement text:
----------------------------------------------------------------------

 A new package to typeset proofs in natural deduction and similar

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

This package is located at 
   http://mirror.ctan.org/macros/latex/contrib/prftree/

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

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

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

   Thanks for the upload.

     For the CTAN Team
    Petra Rübe-Pugliese