New on CTAN: prooftrees

[CTAN Announcements]

Clea F. Rees submitted the

                prooftrees

package.

Version number: 0.3
License type: lppl1.3

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

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

prooftrees supports drawing proof trees of the kind often used in
introductory logic classes, especially those aimed at students without
strong mathemtical backgrounds. Hodges (1991) is one example of a text
which uses this system. When teaching such a system it is especially
useful to annotate the tree with line numbers, justifications and
explanations of branch closures.

prooftrees provides a single environment, prooftree, and a variety of
tools for annotating, customising and highlighting such trees. A
cross-referencing system is provided for trees which cite line numbers
in justifications for proof lines or branch closures.

prooftrees is based on Forest and, hence, TikZ. The package requires
version 2.0.2 of Forest for expected results and will not work with
version 1.

The author is certain  that some of her beliefs are false, but sure
that her belief that prooftrees has bugs is not among them.

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

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